Scalable Hardware Verification with Symbolic Simulation

• Κύριος συγγραφέας: Bertacco, Valeria
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA Springer Science+Business Media, Inc. 2006
• Θέματα: Engineering; Computer engineering; Computer aided design; Systems engineering; Computer hardware; Electronic and Computer Engineering; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems; Computer Hardware