Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 /: selected contributions from FDL 2013. ([2015])

• Record Type: Book
• Further Information: Note: Marie-Minerve Louërat, Torsten Maehne, editors.
• Editors: Louërat, Marie-Minerve; Maehne, Torsten
• Other Names: FDL (Conference)
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xxxiv, 305 pages), illustrations (some color)
• Subjects: 621.3815; Engineering; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer software -- Verification -- Congresses; Software architecture -- Congresses; Computer hardware description languages -- Congresses; TECHNOLOGY & ENGINEERING -- Mechanical; Computer hardware description languages; Computer software -- Verification; Formal methods (Computer science); Software architecture; Software 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; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319063171; 3319063170; 3319063162; 9783319063164
• Related ISBNs: 9783319063164
• Notes: Note: References2 Assisting Refinement in System-on-Chip Design; 2.1 Introduction; 2.2 Related Works; 2.3 Our Method; 2.3.1 Application; 2.3.2 Execution Platform; 2.3.3 Mapping and Partitioning; 2.4 Transformation Rules; 2.4.1 Refinement Steps; 2.4.2 Generation of Models for Level-1, Level-2, and Level-3; 2.4.3 Proof of Property Preservation; 2.5 Case Study; 2.5.1 Refinement Checking; 2.5.2 Properties Verification; 2.6 Conclusion; References; Part IIEmbedded Analog and Mixed-SignalSystem Verification; 3 A New Assertion Property Language for Analog/Mixed-Signal Circuits; 3.1 Introduction.; Note: Online resource; title from PDF title page (SpringerLink, viewed Sept. 4, 2014).
• 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.