1. Compilers: Principles and Techniques and Tools;Aho,2006
2. Synthesis and Optimization of Digital Circuits;De Micheli,1994
3. High-level Synthesis: Introduction to Chip and System Design;Gajski,1992
4. Specification and Design of Embedded Systems;Gajski,1994
5. SpecC: Specification Language and Methodology;Gajski,2000