Verification techniques for system-level design /

• Main Author: Fujita, Masahiro, 1956- (συγγραφέας.)
• Other Authors: Ghosh, Indradeep, 1970- (συγγραφέας.), Prasad, Mukul (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
• Subjects: Ολοκληρωμένα κυκλώματα; Σχεδιασμός συστημάτων; Τυπικές μέθοδοι (Επιστήμη των υπολογιστών)