Embedded System Design: Modeling, Synthesis, Verification Ch 8: Embedded System Environment (ESE) Case Study October 19, 2012 Post navigation Previous Previous post: Embedded System Design: Modeling, Synthesis, Verification Ch 7: Model Formalization for SoC VerificationNext Next post: An Online Methodology For Individualized Education