booktheque

Formal Verification of Circuits

Rolf Drechsler · 2000

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2000
שפה
English
הוצאה
Springer
מהדורות
1
עמודים
179
ISBN
9780792378587

מקור הנתונים: Wikidata

עוד של Rolf Drechsler

Towards One-Pass Synthesis
Rolf Drechsler · 2002
Formal Verification of Circuits
Rolf Drechsler · 2000
Binary Decision Diagrams
Rolf Drechsler · 1998
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler · 1998
Advanced Boolean Techniques
Rolf Drechsler · 2023
Formal System Verification
Rolf Drechsler · 2017
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler · 2015
Test pattern generation using Boolean proof engines
Rolf Drechsler · 2009
Advanced Formal Verification
Rolf Drechsler · 2004
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler · 2003