Complete EDA Books Online
| Title |
Author |
Description |
|
| Verification Methodology Manual, 3rd Edition |
David Dempster and Michael Stuart |
[COMPLETE BOOK] This edition of the Verification Methodology Manual includes a section on dynamic property checking, a new technique that enables properties to be verified in simulation at any level of design integration. Dynamic property checking complements code coverage in helping determine the completeness of a design's verification. It also complements formal property checking by providing a measurable degree of confidence for properties that cannot be checked formally. |
|
| Power, accuracy and noise aspects in CMOS mixed-signal design |
Sanduleanu, Mihai Adrian Tiberiu |
[COMPLETE BOOK] The work presented in this thesis concerns power, noise and accuracy in mixed-signal applications. Along the material presented
it is shown that power, noise and accuracy should be treated in an unitary way, the three terms being well inter-related. It is divided in a theoretical
part which covers sub-micron digital and sub-micron analog and an applicative part where accuracy related power and noise related power is encountered.
|
|
|
ASICS... the book!
|
Michael J. Smith
|
[COMPLETE BOOK] This comprehensive book on application specific integrated circuits
(ASICs) describes the latest methods in VLSI-systems design.
|
Order Online
|
|
Logic Design for Array-Based Circuits
|
Donnamaie E. White
|
[COMPLETE BOOK] This book details the theory behind the new EDA tools.
|
Order Online
|
|
Bit-Slice Design: Controllers and ALUs
|
Donnamaie E. White
|
[COMPLETE BOOK] Introduction to the Am2900 Family, offered by AMD (Advanced Micro Devices)
in the 1980s.
|
|
