Quality-Driven SystemC Design

• Κύριοι συγγραφείς: Große, Daniel (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2010.
• Θέματα: Engineering.; Microprocessors.; Software engineering.; Electronic circuits.; Circuits and Systems.; Software Engineering/Programming and Operating Systems.; Register-Transfer-Level Implementation.

Faced with the steadily increasing complexity and rapidly shortening time-to-market requirements designing electronic systems is a very challenging task. To manage this situation effectively the level of abstraction in modeling has been raised during the past years in the computer aided design commu...

Πίνακας περιεχομένων:

• Preliminaries
• System-Level Verification
• Block-Level Verification
• Top-Level Verification
• Summary and Conclusions.