Embedded System Design: Modeling, Synthesis and Verification

High — Level Synthesis: Introduction to Chip and System Design

System Design: A Practical Guide with SpecC

SPECC: Specification Language and Methodology