Symbolic Simulation Methods for Industrial Formal ...
 Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in ... [... more]
$139.00
Amazon.com |
Adaptive Analogue VLSI Neural Systems
This book approaches VLSI neural networks from a practical viewpoint, using case studies to show the full process of VLSI implementation of a network, and addressing the important issues of learning algorithms and limited precision effects. System ... [... more]
$124.00
Amazon.com |
High-Level Synthesis: Introduction to Chip and System Design
Research on high-level synthesis started over twenty years ago, but lower-level tools were not available to seriously support the insertion of high-level synthesis into the mainstream design methodology. Since then, substantial progress has been made in ... [... more]
$203.00
Amazon.com |
Asynchronous Pulse Logic
Asynchronous Pulse Logic is a comprehensive analysis of a newly developed asynchronous circuit family. The book covers circuit theory, practical circuits, design tools and an example of the design of a simple asynchronous microprocessor using the circuit ... [... more]
$150.00
Amazon.com |
High Speed CMOS Design Styles
High Speed CMOS Design Styles is written for the graduate-level student or practicing engineer who is primarily interested in circuit design. It is intended to provide practical reference, or `horse-sense', to mechanisms typically described with a more ... [... more]
$189.00
Amazon.com |
Formal Hardware Verification: Methods and Systems in ...
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of ... [... more]
$74.95
Amazon.com |
Integrated Circuit Design. Power and Timing Modeling, ...
This book constitutes the refereed proceedings of the 12th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2002, held in Seville, Spain in September 2002. The 37 revised full papers and 12 poster papers presented ... [... more]
$99.95
Amazon.com |
Modern VLSI Design: System-on-Chip Design (3rd Edition) ...
covers current ideas A start of the art chip may well have over 10 million or 100 million transistors. How to design such a formidable device? Wolf gives a decent explanation to the student or engineer. You have to be careful here. The term VLSI has been ... [... more]
$75.00
Amazon.com |
VLSI Fabrication Principles: Silicon and Gallium ...
Fully updated with the latest technologies, this edition covers the fundamental principles underlying fabrication processes for semiconductor devices along with integrated circuits made from silicon and gallium arsenide. Stresses fabrication criteria for ... [... more]
$155.00
Amazon.com |
Logic Synthesis
Logic synthesis enables VLSI designers to rapidly lay out the millions of transistors and interconnecting wires that form the circuitry on modern chips, without having to plot each individual logic circuit. It is an indispensable tool in the industry ... [... more]
$55.00
Amazon.com |
Algorithms, Complexity Analysis and VLSI Architectures ...
MPEG-4 is the multimedia standard for combining interactivity, natural and synthetic digital video, audio and computer-graphics. Typical applications are: internet, video conferencing, mobile videophones, multimedia cooperative work, teleteaching and ... [... more]
$179.00
Amazon.com |
Silicon Processing for the VLSI Era, Vol. 2: Process ...
THE best set of technical references in this area In my 25 years of semiconductor process development I have never come across such a complete and in-depth collection of device and process knowledge in a single place. Years ago we needed to spend many ... [... more]
$139.95
Amazon.com |
