Embedded System Design: Modeling, Synthesis, Verification Ch 5: Software Synthesis Introduction October 19, 2012 Post navigation Previous Previous post: Embedded System Design: Modeling, Synthesis, Verification Ch 4: Platform and Cycle-Accurate Model GenerationNext Next post: Embedded System Design: Modeling, Synthesis, Verification Ch 5: Code Generation