High-Level Verification
Sorin Lerner, Sudipta Kundu, Rajesh K. Gapta
₹7,743
Higher Order Logic and Hardware Verification
by T. Melham
Cambridge University Press · 2009
₹4,628
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
Higher Order Logic and Hardware Verification by T. Melham is a book published by Cambridge University Press in 2009.
Its main subjects are Very large scale integration, Symbolic and mathematical Logic, Integrated circuits and Data processing.
Book details
- ISBN-13
- 9780521115322
- ISBN-10
- 0521115329
- Author
- T. Melham
- Publisher
- Cambridge University Press
- Published
- 2009
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More in Integrated circuits
Novel Algorithms for Fast Statistical Analysis of Scaled Circuits
Amith Singhee, Rob A. Rutenbar
₹8,125
R-trees
Yannis Manolopoulos, Alexandros Nanopoulos, Yannis Theodoridis, Apostolos N. Papadopoulos
₹8,032
Formal Methods in Computer-Aided Design
Mark D. Aagaard, John W. O'Leary
₹5,593
Model Engineering in Mixed-Signal Circuit Design
Sorin Alexander Huss
₹3,775
Process and Device Modelling (v. 1)
₹3,714
Electrical Design of Through Silicon via
Manho Lee, Jun So Pak, Joungho Kim
₹7,731
Sustainable Wireless Network-on-chip Architectures
Jacob Murray, Partha Pratim Pande, Behrooz Shirazi, Paul Wettin
₹3,093
Ttl Cookbook
Donald E. Lancaster
₹2,504
Wideband CMOS Receivers
Miguel D. Fernandes, Luis B. Oliveira
₹4,237
Principles of Functional Verification
Andreas Meyer
₹4,679
3-Dimensional VLSI
Yangdong Deng, Wojciech P. Maly
₹4,777