Loading…

QR Code

Formal System Verification State-of the-Art and Future Trends /

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Drechsler, Rolf (Editor)
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

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

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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

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

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, 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.)

Embedded Systems Design with Special Arithmetic and Number Systems
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
by: Marwedel, Peter
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Digital Systems From Logic Gates to Processors /
by: Deschamps, Jean-Pierre, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Smart Systems Integration and Simulation
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Techniques for Building Timing-Predictable Embedded Systems
by: Guan, Nan
Published: (Springer International Publishing : Imprint: Springer, 2016.)

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.)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
by: Mehta, Ashok B.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Model-Implementation Fidelity in Cyber Physical System Design
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
by: Goossens, Sven, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
by: Khan, Muhammad Usman Karim, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Published: (Springer International Publishing : Imprint: Springer, 2016.)

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

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
by: Tlelo-Cuautle, Esteban, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

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.)

Timing Performance of Nanometer Digital Circuits Under Process Variations
by: Champac, Victor, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
by: Pagani, Santiago, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Contactless VLSI Measurement and Testing Techniques
by: Sayil, Selahattin
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Fundamentals of Electromigration-Aware Integrated Circuit Design
by: Lienig, Jens, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Machine Learning for Model Order Reduction
by: Mohamed, Khaled Salah
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Symbolic Parallelization of Nested Loop Programs
by: Tanase, Alexandru-Petru, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

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

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.)

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

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

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

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

Multi-run Memory Tests for Pattern Sensitive Faults
by: Mrozek, Ireneusz
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.)

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture /
by: Zhang, Chenxin, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Foundations of Hardware IP Protection
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Computer Architecture and Design
by: Bindal, Ahmet
Published: (Springer International Publishing : Imprint: Springer, 2017.)