B2M: A Semantic Based Tool for BLIF Hardware Descriptions.

David A. Basin, Stefan Friedrich, Sebastian Mdersheim

Browse the full FMCAD paper archive.