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
Lagerstättentechnik (English, Hans-Dieter Voigt)
₹4,601
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Mechanik Der Gase (English, Dieter Richter)
₹3,340
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380Related Products
A-Z of Musculoskeletal and Trauma Radiology (English, James R. D. Murray | Erskine J. Holmes | Rakesh R. Misra)
₹14,903
The Homotopy Theory of (∞,1)-Categories (English, Julia E. Bergner)
₹14,706
Pilze (English, J. Webster | K. Esser | B. D. Epp)
₹4,601
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Collective Dynamics of Nonlinear and Disordered Systems (English, Günter Radons | Wolfram Just | Peter Häussler)
₹17,390