Loading…

QR Code

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automa...

Full description

Bibliographic Details
Main Authors:	Przigoda, Nils (Author), Wille, Robert (Author), Przigoda, Judith (Author), Drechsler, Rolf (Author)
Corporate Author:	SpringerLink (Online service)
Format:	e-Book
Language:	English
Published:	Cham : Springer International Publishing : 2018. Imprint: Springer,
Edition:	1st ed. 2018.
Subjects:	Electronic circuits. Microprocessors. Computer architecture. Electronics. Electronic Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Online Access:	Full-text access

Similar Items

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Post-Silicon Validation and Debug
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
by: Chen, Xiaoming, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Embedded Software Verification and Debugging
Published: (Springer New York : Imprint: Springer, 2017.)

Formal System Verification State-of the-Art and Future Trends /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Exact Design of Digital Microfluidic Biochips
by: Keszocze, Oliver, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
by: Seiter, Julia, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
by: Zhan, Naijun, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Reversible and Quantum Circuits Optimization and Complexity Analysis /
by: Abdessaied, Nabila, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Automated Methods in Cryptographic Fault Analysis
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
by: Martins, Ricardo, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Design Automation for Differential MOS Current-Mode Logic Circuits
by: Badel, Stéphane, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
by: Ray, Sandip, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
by: Mohamed, Khaled Salah
Published: (Springer International Publishing : Imprint: Springer, 2016.)

New Data Structures and Algorithms for Logic Synthesis and Verification
by: Amaru, Luca Gaetano
Published: (Springer International Publishing : Imprint: Springer, 2017.)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
by: Mehta, Ashok B.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Power Estimation on Electronic System Level using Linear Power Models
by: Schuermans, Stefan, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Modeling and Simulation of Invasive Applications and Architectures
by: Roloff, Sascha, et al.
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
by: Posser, Gracieli, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Brain-Machine Interface Closed-loop Bidirectional System Design /
by: Liu, Xilin, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Operational Amplifiers Theory and Design /
by: Huijsing, Johan
Published: (Springer International Publishing : Imprint: Springer, 2017.)

More-than-Moore 2.5D and 3D SiP Integration
by: Radojcic, Riko
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing /
by: Haj-Yahya, Jawad, et al.
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

CMOS Circuits for Biological Sensing and Processing
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Energy-Efficient Smart Temperature Sensors in CMOS Technology
by: Souri, Kamran, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Invasive Tightly Coupled Processor Arrays
by: LARI, VAHID
Published: (Springer Nature Singapore : Imprint: Springer, 2016.)

5G and E-Band Communication Circuits in Deep-Scaled CMOS
by: Vigilante, Marco, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Carbon Nanotubes for Interconnects Process, Design and Applications /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Soft Error Mechanisms, Modeling and Mitigation
by: Sayil, Selahattin
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Near Threshold Computing Technology, Methods and Applications /
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
by: Weichslgartner, Andreas, et al.
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

Approximate Circuits Methodologies and CAD /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Learning from VLSI Design Experience
by: Lee, Weng Fook
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
by: Moutinho, Filipe de Carvalho, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Complex Digital Circuits
by: Deschamps, Jean-Pierre, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)