Title: Verification by Error Modeling: Using Testing Techniques in Hardware Verification / Edition 1, Author: Katarzyna Radecka
Title: Timing / Edition 1, Author: Sachin Sapatnekar
Title: Theoretical Foundations of VLSI Design, Author: K. McEvoy
Title: Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings / Edition 1, Author: Ramayya Kumar
Title: The SPICE Book / Edition 1, Author: Andrei Vladimirescu
Title: The Electronic Design Automation Handbook / Edition 1, Author: Dirk Jansen
Title: SPICE / Edition 2, Author: Gordon Roberts
Title: Simulation in the Design of Digital Electronic Systems, Author: John B. Gosling
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
Title: R-Trees: Theory and Applications / Edition 1, Author: Yannis Manolopoulos
Title: Practical Problems in VLSI Physical Design Automation / Edition 1, Author: Sung Kyu Lim
Title: Multilevel Optimization in VLSICAD / Edition 1, Author: Jingsheng Jason Cong
Title: Model Engineering in Mixed-Signal Circuit Design: A Guide to Generating Accurate Behavioral Models in VHDL-AMS / Edition 1, Author: Sorin Alexander Huss
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
Paperback from $63.57 $89.99 Current price is $63.57, Original price is $89.99.
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 / Edition 1, Author: Bertrand Hochet
Title: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings / Edition 1, Author: Vassilis Paliouras

Pagination Links