Formal Vlsi Specification and Synthesis: Vlsi Design Methods I 
Subtitle: Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Me (Vlsi Design Methods, 1)
Contributors: Interuniversity Micro-Electronics Center (Corporate Author)
Publisher: North-Holland
Published: August 1990
Language: eng
Number of pages: 414
ISBN-13: 9780444883728