Introduction to SystemVerilog
Ashok B. Mehta
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£69.99
£61.85
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketHigh Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersgluss
Item not Available
Format: Book (Paperback / softback)
£84.99
£69.79
Item not Available
Book (Paperback / softback)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Julia Seiter
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
SystemVerilog Assertions and Functional Coverage : Guide to Language, Methodology and Applications
Ashok B. Mehta
Out of stock
Format: Book (Paperback / softback)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Out of stock
Format: Book (Paperback / softback)
ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies
Ashok B. Mehta
Out of stock
Format: Book (Paperback / softback)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Out of stock
Format: Book (Paperback / softback)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£69.99
£61.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketDesign for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
Sebastian Huhn
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£99.99
£87.29
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketDesign Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Arun Chandrasekharan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketExact Design of Digital Microfluidic Biochips
Oliver Keszocze
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketIn-Memory Computing : Synthesis and Optimization
Saeideh Shirinzadeh
Out of stock
Format: Book (Paperback / softback)
System Verilog Assertions and Functional Coverage : Guide to Language, Methodology and Applications
Ashok B. Mehta
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£69.99
£61.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket