
Formal Verification of Circuits
$169.99

Binary Decision Diagrams: Theory and Implementation
$169.99

High Quality Test Pattern Generation and Boolean Satisfiability
$129.99

Towards One-Pass Synthesis
$109.99

Quality-Driven SystemC Design
$109.99

High Quality Test Pattern Generation and Boolean Satisfiability
$109.99

Robustness and Usability in Modern Design Flows
$109.99

Debugging at the Electronic System Level
$109.99

Reversible and Quantum Circuits: Optimization and Complexity Analysis
$59.29 - $59.52

Advanced Formal Verification
$109.99

Test Pattern Generation using Boolean Proof Engines
$109.99

Towards a Design Flow for Reversible Logic
$109.99

Evolutionary Algorithms for VLSI CAD
$109.99

Spectral Techniques in VLSI CAD
$169.99

Advanced BDD Optimization
$169.99

Robustness And Usability In Modern Design Flows
$109.99

Formal Specification Level: Concepts, Methods, and Algorithms
$109.99

Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-Boolesche Funktionen
Out of Stock

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
$54.99

Quality Driven System C Design
$109.99

Test Pattern Generation using Boolean Proof Engines
$109.99

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

Exact Design of Digital Microfluidic Biochips
$109.99

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
$59.29

In-Memory Computing: Synthesis and Optimization
$109.99

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
$99.99 - $129.99

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
$109.99

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
$119.99

Enhanced Virtual Prototyping for Heterogeneous Systems
$89.99 - $119.99

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen
Out of Stock