Robustness and Usability in Modern Design Flows

• Κύριοι συγγραφείς: Fey, Görschwin (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2008.
• Θέματα: Engineering.; Computers.; Mathematical logic.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Mathematical Logic and Formal Languages.; Theory of Computation.; Electronics and Microelectronics, Instrumentation.

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today’s design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design F...