Correct Hardware Design and Verification Methods
Subtitle: Ifip Wg 10.5 Advanced Research Working Conference, Charme '95, Frankfurt/Main, Germany, October 2-4, ... (Lecture Notes in Computer Science)
Contributors: Paolo E. Camurati (Editor); Hans Eveking (Editor)
Publisher: Springer
Published: October 1995
Language: eng
Format: Paperback
Number of pages: 342
ISBN-13: 9783540603856
Subjects: Computer architecture & logic design; General Theory of Computing; Science/Mathematics; Electronics - Circuits - VLSI; Cad/Cam; Very-Large-Scale Integration (Vlsi); Verification; Technology; Computers - General Information; Programming - Software Development; Logic Design; Engineering - Electrical & Electronic; Computer Science; Very large scale integration; Computer-aided design; Congresses; Integrated circuits