An Asic Low Power Primer Analysis Techniques and Specification
Chadha R.
₹11,543
Computer-Aided Verification
A Special Issue of Formal Methods in System Design on Computer-Aided
Springer · 2012
₹11,568
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
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided by Robert Kurshan is a 142-page book published by Springer in 2012.
The book deals with Systems engineering, Engineering, Computer-aided design and Computer engineering.
Book details
- ISBN-13
- 9781461365792
- ISBN-10
- 1461365791
- Author
- Robert Kurshan
- Publisher
- Springer
- Published
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1993
- Pages
- 142
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More in Integrated circuits
A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits
Geert Van der Plas, Georges Gielen, Willy M. C. Sansen
₹2,681
Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376
Digital VLSI Design with Verilog
John Williams
₹7,879
Physical Unclonable Functions in Theory and Practice
Christoph Böhm, Maximilian Hofer
₹7,774
Design of Very Large Scale Integration Systems
Linda E.M Brackenbury
₹3,355
Cmos Ic Layout
Dan Clein
₹4,423
Cmos Integrated Analog-To-Digital and Digital-To-Analog Converters
Rudy J. Van De Plassche
₹15,333
Advanced Symbolic Analysis for VLSI Systems
Guoyong Shi, Sheldon X.-D Tan, Esteban Tlelo Cuautle
₹10,856
Fully-depleted Soi Cmos Circuits and Technology for Ultralow-power Applications
Takayasu Sakurai, Akira Matsuzawa, Takakuni Douseki
₹11,495
A Priori Wire Length Estimates for Digital Design
Dirk Stroobandt
₹11,558
In Search of the Next Memory
Roberto Gastaldi, Giovanni Campardo
₹10,056