Models, Methods, and Tools for Complex Chip Design

Covers Assertion Based Design, Verification & DebugIncludes language-based modeling and design techniques for embedded systemsCovers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domainsIncludes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)Includes supplementary material: sn.pub/extras