E-Book, Englisch, Band 311, 305 Seiten, eBook
Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design
1. Auflage 2014
ISBN: 978-3-319-06317-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Selected Contributions from FDL 2013
E-Book, Englisch, Band 311, 305 Seiten, eBook
Reihe: Lecture Notes in Electrical Engineering
ISBN: 978-3-319-06317-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Part I Applications of Formal Methods for Specification and Verification.- Optimal Component Selection for Energy-Efficient Systems.- Assisting Refinement in System-on-Chip Design.- Part II Embedded Analog and Mixed-Signal System Verification.- Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits.- Part III Embedded Analog and Mixed-Signal System Design.- Hybrid Dynamical Systems for Memristor Modelling.- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity.