Formal Specification Level
Concepts, Methods, and Algorithms
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of exe…
Mehr
CHF 110.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Soeken, Mathias
- ISBN: 978-3-319-08699-6
- EAN: 9783319086996
- Produktnummer: 17211858
- Verlag: Springer
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Plattform: PDF
- Masse: 7'452 KB
100 weitere Werke von Rolf Drechsler:
Towards a Design Flow for Reversible Logic
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Languages, Design Methods, and Tools for Electronic System Design
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 103.00
Exact Design of Digital Microfluidic Biochips
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 130.00
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 160.00
Design for Testability, Debug and Reliability
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 118.00
Automatic Methods for the Refinement of System Models
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 65.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 136.00
Design Automation Techniques for Approximation Circuits
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 103.00
Formal Modeling and Verification of Cyber-Physical Systems
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 100.50
Robustness and Usability in Modern Design Flows
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Debugging at the Electronic System Level
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Recent Findings in Boolean Techniques
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 124.00
Evolutionary Algorithms for Embedded System Design
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 118.00
High Quality Test Pattern Generation and Boolean Satisfiability
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 121.50
Test Pattern Generation using Boolean Proof Engines
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 160.00
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computation
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 106.50
Natural Language Processing for Electronic Design Automation
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 100.50
Automated Analysis of Virtual Prototypes at the Electronic System Level
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 94.50
Bewertungen
Anmelden