SPECC: Specification Language and Methodology, Fachbücher von Rainer Dömer, Daniel D. Gajski, Jianwen Zhu

Das Buch "SPECC: Specification Language and Methodology" bietet eine umfassende Einführung in die SpecC-Systemdesignsprache (SLDL) und die zugehörige SpecC-Designmethodologie. Angesichts der exponentiellen Zunahme der Transistoranzahl auf Chips, wie sie durch Moores Gesetz vorhergesagt wird, wird die Notwendigkeit, die Produktivität im Designprozess zu steigern, immer dringlicher. Die Autoren Daniel D. Gajski, Jianwen Zhu und Rainer Dömer beleuchten die Herausforderungen, die mit der zunehmenden Komplexität von Chips und den damit verbundenen Zeitdruck auf den Markt verbunden sind. Sie argumentieren, dass eine Verschiebung des Fokus auf höhere Abstraktionsebenen und die massive Wiederverwendung von vorgefertigten Systemkomponenten entscheidend sind, um die Produktivität im Design erheblich zu steigern. Das Buch richtet sich an Fachleute und Studierende, die sich mit der Spezifikation und dem Design von System-on-a-Chip (SoC) und eingebetteten Systemen befassen.