VLSI Specification, Verification and Synthesis /

The SECD Microprocessor : a Verification Case Study /
by: Graham, Brian T.
Published: (1992)

Formal Equivalence Checking and Design Debugging /
by: Huang, Shiyu
Published: (1998)

Synchronous Equivalence : Formal Methods for Embedded Systems /
by: Hsieh, Harry
Published: (2001)

CMOS VLSI Engineering : Silicon-on-Insulator (SOI) /
by: Kuo, James B.
Published: (1998)

VLSI Signal Processing Technology /
by: Bayoumi, Magdy A.
Published: (1994)

Neural Information Processing and VLSI /
by: Sheu, Bing J.
Published: (1995)

Formal Methods and Models for System Design : a System Level Perspective /
by: Gupta, R. (Rajesh)
Published: (2004)

VLSI Design for Manufacturing: Yield Enhancement /
by: Director, Stephen W.
Published: (1990)

VLSI Artificial Neural Networks Engineering /
by: Elmasry, Mohamed I.
Published: (1994)

Place Coding in Analog VLSI : a Neuromorphic Approach to Computation /
by: Landolt, Oliver
Published: (1998)

Low-Power Digital VLSI Design : Circuits and Systems /
by: Bellaouar, A. (Abdellatif)
Published: (1995)

VLSI - Compatible Implementations for Artificial Neural Networks /
by: Fakhraie, Sied Mehdi
Published: (1997)

Hot-Carrier Reliability of MOS VLSI Circuits /
by: Leblebici, Yusuf
Published: (1993)

Asynchronous Circuit Design for VLSI Signal Processing /
by: Meng, Teresa H.
Published: (1994)

High-Performance Digital VLSI Circuit Design /
by: Gu, Richard X.
Published: (1996)

Practical Low Power Digital VLSI Design /
by: Yeap, Gary
Published: (1998)

Process and Device Simulation for MOS-VLSI Circuits /
by: Antognetti, Paolo
Published: (1983)

Logic Synthesis and Verification /
by: Hassoun, Soha
Published: (2002)

Modeling and Simulation of High Speed VLSI Interconnects : a Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Vol. 5, No. 1 (1994) /
by: Nakhla, M. S.
Published: (1994)

Analog VLSI Neural Networks : a Special Issue of Analog Integrated Circuits and Signal Processing /
by: Takefuji, Yoshiyasu
Published: (1993)

High-Level VLSI Synthesis /
by: Camposano, Raul
Published: (1991)

VLSI Placement and Global Routing Using Simulated Annealing /
by: Sechen, Carl
Published: (1988)

Switch-Level Timing Simulation of MOS VLSI Circuits /
by: Rao, Vasant B.
Published: (1988)

Digital Timing Macromodeling for VLSI Design Verification /
by: Kong, Jeong-Taek
Published: (1995)

VLSI Synthesis of DSP Kernels : Algorithmic and Architectural Transformations /
by: Mehendale, Manesh
Published: (2001)

Optimal VLSI Architectural Synthesis : Area, Performance and Testability /
by: Gebotys, Catherine H.
Published: (1992)

Analog Design Issues in Digital VLSI Circuits and Systems : a Special Issue of Analog Integrated Circuits and Signal Processing, An International Journal Volume 14, Nos. 1/2 (1997) /
by: Becerra, Juan J.
Published: (1997)

Analysis and Synthesis of MOS Translinear Circuits /
by: Wiegerink, Remco J.
Published: (1993)

Logic Synthesis for Low Power VLSI Designs /
by: Iman, Sasan
Published: (1998)

Time-Frequency Analysis and Synthesis of Linear Signal Spaces : Time-Frequency Filters, Signal Detection and Estimation, and Range-Doppler Estimation /
by: Hlawatsch, F. (Franz)
Published: (1998)

Adaptive Analog VLSI Neural Systems /
by: Jabri, M. A.
Published: (1996)

Parallel Processing on VLSI Arrays : a Special Issue of Journal of VLSI Signal Processing /
by: Nossek, Josef A.
Published: (1991)

VLSI Design of Neural Networks /
by: Ramacher, Ulrich
Published: (1991)

A VLSI Architecture for Concurrent Data Structures /
by: Dally, William J.
Published: (1987)

Morphological Image Processing: Architecture and VLSI design /
by: Jonker, Petrus Paulus
Published: (1992)

Dynamic Translinear and Log-Domain Circuits : Analysis and Synthesis /
by: Mulder, Jan
Published: (1999)