SPECC: Specification Language and Methodology

Autor: Gajski, Daniel D., Zhu, Jianwen, Doemer, Rainer, Gerstlauer, Andreas, Zhao, S.
Rok vydání: 2000
Předmět:
DOI: 10.1007/978-1-4615-4515-6
Popis: Presents and introduces the SpecC language and provides a language reference manual, describing the SpecC methodology, and demonstrates the methodology with the example of a voice coder design.
Databáze: OpenAIRE