Embedded System Design: Modeling, Synthesis, Verification Ch 7: Model Formalization for SoC Verification Uncategorized Submit a Comment Cancel replyYou must be logged in to post a comment.