Title: High - Level Synthesis: Introduction to Chip and System Design, Author: Daniel D. Gajski
Title: Embedded System Design: Modeling, Synthesis and Verification, Author: Daniel D. Gajski
Title: SPECC: Specification Language and Methodology / Edition 1, Author: Daniel D. Gajski
Title: Embedded System Design: Modeling, Synthesis and Verification / Edition 1, Author: Daniel D. Gajski
Title: System Design: A Practical Guide with SpecC / Edition 1, Author: Andreas Gerstlauer