Languages, Design Methods, and Tools for Electronic System Design
-15%
portes grátis
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2016
Fummi, Franco; Wille, Robert
Springer International Publishing AG
08/2018
116
Mole
Inglês
9783319874296
15 a 20 dias
454
Descrição não disponível.
Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation.- Chapter2. Designing Reliable Cyber-Physical Systems.- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study.- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems.- Chapter5. Feature based State Space Coverage of Analog Circuits.- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Design Specification Languages;Design Verification;Automatic Synthesis;Mechanized Debugging;Rapid Prototyping;FDL 2016
Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation.- Chapter2. Designing Reliable Cyber-Physical Systems.- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study.- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems.- Chapter5. Feature based State Space Coverage of Analog Circuits.- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
