Constraint-Based Verification (English, Jun Yuan | Carl Pixley | Adnan Aziz)
by Jun Yuan | Carl Pixley | Adnan Aziz
Delivery options
₹8,244
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹8,244
Book Details
Publisher
Springer
Language
English
ISBN-13
9780387259475
ISBN-10
0387259473
Author
Jun Yuan | Carl Pixley | Adnan Aziz
About the Book
As the complexity and miniaturization of electronic hardware advances, more time and money is actually now spent on testing and verification than in the preliminary design stage. This practical-oriented guidebook covers both the fundamentals and the techniques of constraint-based testbench automation. The book compares and contrasts constraint-based verification with traditional testbench approaches: test generation (a key concept), simulation mo…
ISBN: 9780387259475
ISBN-13: 9780387259475
ISBN-10: 0387259473
Frequently Asked Questions
What is the price of Constraint-Based Verification?
Constraint-Based Verification starts from ₹8244 at GlowMirror. Available in Paperback.
Who is the author of Constraint-Based Verification?
Jun Yuan | Carl Pixley | Adnan Aziz is the author of Constraint-Based Verification. Browse more books by Jun Yuan | Carl Pixley | Adnan Aziz on GlowMirror.
Is Constraint-Based Verification available in Paperback and Hardcover?
Yes, Constraint-Based Verification is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Constraint-Based Verification?
Yes, GlowMirror offers free delivery for Constraint-Based Verification across India. No minimum order value required.
Is Cash on Delivery available for Constraint-Based Verification?
Yes, Cash on Delivery (COD) is available for Constraint-Based Verification on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9780387259475
🛒 Customers Also Bought
Geschichte Der Physiologie (English, Karl E. Rothschuh | Wilhelm Trendelenburg | Erich Schütz)
₹5,047
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871
An Informal Conceptual Introduction to Turbulence (English, Arkady Tsinober)
₹17,455
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846Related Products
Biologische Behandlung Organischer Abfälle (English, Peter Kämpfer | Walter D. Weißenfels)
₹3,508
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580