Embedded System Design: Modeling, Synthesis, Verification Ch 3: Processor Modeling October 18, 2012 Post navigation Previous Previous post: Embedded System Design: Modeling, Synthesis, Verification Ch 3: System DesignNext Next post: Embedded System Design: Modeling, Synthesis, Verification Ch 3: Communication Modeling