Title: Introduction to Formal Hardware Verification, Author: Thomas Kropf
Title: Current-Mode VLSI Analog Filters: Design and Applications, Author: P.V. Ananda Mohan
Title: VLSI Technology, Author: Wai-Kai Chen
Title: Heterogeneous Optoelectronic Integration, Author: Elias Towe
Title: Digital Circuit Boards: Mach 1 GHz, Author: Ralph Morrison
Title: Semi-custom IC Design and VLSI, Author: P.J. Hicks
Title: Multi-Level Simulation for VLSI Design, Author: D.D. Hill
Title: Synthesis of Finite State Machines: Logic Optimization, Author: Tiziano Villa
Title: Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics, Author: Robert K. Brayton
Title: Introduction to IDDQ Testing, Author: S. Chakravarty
Title: High-Performance Digital VLSI Circuit Design, Author: Richard X. Gu
Title: Symbolic Simulation Methods for Industrial Formal Verification, Author: Robert B. Jones
Title: Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs, Author: Ruijing Shen
Title: VLSI Signal Processing Technology, Author: Magdy A. Bayoumi
Title: Symbolic Analysis and Reduction of VLSI Circuits, Author: Zhanhai Qin
Title: VLSI-SOC: From Systems to Chips: IFIP TC 10/WG 10.5, Twelfth International Conference on Very Large Scale Ingegration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany, Author: Manfred Glesner
Title: Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits, Author: Christopher Michael
Title: A Survey of High-Level Synthesis Systems, Author: Robert A. Walker
Title: Timing Analysis and Optimization of Sequential Circuits, Author: Naresh Maheshwari
Title: Switch-Level Timing Simulation of MOS VLSI Circuits, Author: Vasant B. Rao

Pagination Links