Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376
Formal Methods in Computer-Aided Design
5th International Conference
by Alan J. Hu, Andrew K. Martin
Springer · 2004 · Paperback
₹5,605
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Formal Methods in Computer-Aided Design: 5th International Conference by Alan J. Hu & Andrew K. Martin is a 445-page paperback edition published by Springer in 2004. The book is part of the Lecture notes in computer science series.
The book deals with Digital integrated circuits, Design and construction, Congresses and Computer-aided design.
Book details
- ISBN-13
- 9783540237389
- ISBN-10
- 3540237380
- Authors
- Alan J. Hu, Andrew K. Martin
- Publisher
- Springer
- Published
- 2004
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 445
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Alan J. Hu and related titles
Formal Equivalence Checking and Design Debugging
Kwang-Ting (Tim) Cheng, Shiyu Huang
₹13,865
SystemVerilog for Verification
Chris Spear
₹2,262
From Asics to Socs
Farzad Nekoogar, Faranak Nekoogar
₹12,257
Low-power Design and Power-aware Verification
Progyna Khondkar
₹10,820
VLSI and Hardware Implementations Using Modern Machine Learning Methods
Sandeep Saini, Kusum Lata, G. R. Sinha
₹11,685
Mixed-signal and DSP Design Techniques
Walt Kester
₹3,320
Advanced Simulation and Test Methodologies for VLSI Design
I. L. Sayers, G. Russell
₹11,543
Design of Low-voltage, Low-power Operational Amplifier Cells
Johan Huijsing, Ron Hogervorst
₹15,379
Hardware Specification, Verification and Synthesis
Miriam Leeser, Geoffrey Brown
₹5,580
Minimizing and Exploiting Leakage in VLSI Design
Rajesh Garg, Nikhil Jayakumar, Suganth Paul
₹11,556
Applied Formal Verification
Douglas L. Perry, Harry Foster
₹5,271