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.78 - $60.03
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.78
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