Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 /: Selected Contributions from FDL 2016. (2017)

• Record Type: Book
• Further Information: Note: Franco Fummi, Robert Wille.
• Editors: Fummi, Franco; Wille, Robert
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Copyright Date: 2018
• Extent: 1 online resource (116 pages)
• Subjects: Engineering; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- General; Computer architecture & logic design; Electronics engineering; Systems engineering; Computer science; Electronics; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components
• Languages: English
• ISBNs: 9783319629209
• Related ISBNs: 9783319629193
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.