skip to main content
Show Results with: Show Results with:

B2M: A Semantic Based Tool for BLIF Hardware Descriptions

Basin, D. Friedrich, S. Modersheim, S.; Johnson, S. D.

Journal on data semantics.; Formal methods in computer-aided design; Austin, TX, 2000; Nov, 2000, 91-107 -- Springer; 2000 (pages 91-107) -- 2000

Check library holdings

Searching Remote Databases, Please Wait