SPECC: Specification Language and Methodology
Daniel D. Gajski
Download - Immediately Available
Format: eBook (PDF)
Embedded System Design : Modeling, Synthesis and Verification
Daniel D. Gajski
Download - Immediately Available
Format: eBook (PDF)
System Design : A Practical Guide with SpecC
Andreas Gerstlauer
Download - Immediately Available
Format: eBook (PDF)
High - Level Synthesis : Introduction to Chip and System Design
Daniel D. Gajski
Download - Immediately Available
Format: eBook (PDF)