Advances in design methods from modeling languages for embedded systems and SoC's : Selected Contributions on Specification, Design, and Verification from FDL 2009 / Dominique Borrione, editor
Part I; UML and MDE for Embedded Systems -- Part II; C/C++-Based System Design -- Part III; Embedded Analog and Mixed-Signal System Design -- Part IV; Assertion Based Design, Verification & Debug
Summary
This book presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip