Embedded System Design: Modeling, Synthesis, Verification Ch 5: Hardware-dependent Software (Part 3) October 19, 2012 Post navigation Previous Previous post: Embedded System Design: Modeling, Synthesis, Verification Ch 5: Hardware-dependent Software (Part 2)Next Next post: Embedded System Design: Modeling, Synthesis, Verification Ch 6: Specification and Architecture