Embedded System Design: Modeling, Synthesis, Verification Ch 4: Platform and Cycle-Accurate Model Generation October 18, 2012 Post navigation Previous Previous post: Embedded System Design: Modeling, Synthesis, Verification Ch 4: Application to Platform MappingNext Next post: Embedded System Design: Modeling, Synthesis, Verification Ch 5: Software Synthesis Introduction