Formal System Verification Formal System Verification

Formal System Verification

State-of the-Art and Future Trends

    • 97,99 €
    • 97,99 €

Beschreibung des Verlags

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 (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.
Provides latest results on formal methods along the complete design flow;Covers different abstraction layers, from ESL to RTL;Addresses formal verification in both digital and analog contexts;Demonstrates techniques in current industrial use.

GENRE
Gewerbe und Technik
ERSCHIENEN
2017
21. Juni
SPRACHE
EN
Englisch
UMFANG
198
Seiten
VERLAG
Springer International Publishing
GRÖSSE
4,5
 MB

Mehr ähnliche Bücher

Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
2022
SSA-based Compiler Design SSA-based Compiler Design
2022

Mehr Bücher von Rolf Drechsler

Computer Computer
2017
Erweiterte virtuelle Prototypen für heterogene Systeme Erweiterte virtuelle Prototypen für heterogene Systeme
2024
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
2024
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
2024
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
2023
In-Memory-Computing In-Memory-Computing
2023