Cover Image

Logic Synthesis and Verification /

Show other versions (1)

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this...

Full description

Bibliographic Details
Main Author:	Hassoun, Soha
Corporate Author:	SpringerLink (Online service)
Other Authors:	Sasao, Tsutomu
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2002.
Series:	International series in engineering and computer science ; 654.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Sequential Logic Testing and Verification /
by: Ghosh, Abhijit
Published: (1992)

Sequential Logic Synthesis /
by: Ashar, Pranav
Published: (1992)

Logic Synthesis and Optimization /
by: Sasao, Tsutomu
Published: (1993)

Logic Synthesis Using Synopsys® /
by: Kurup, Pran
Published: (1996)

Logic Synthesis for Field-Programmable Gate Arrays /
by: Murgai, Rajeev
Published: (1995)

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

Computer-Aided Verification : a Special Issue of Formal Methods In System Design on Computer-Aided Verification /
by: Kurshan, Robert
Published: (1993)

Synthesis of Finite State Machines : Logic Optimization /
by: Villa, Tiziano
Published: (1997)

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

Logic Synthesis for Control Automata /
by: Baranov, S. I. (Samariĭ Iosifovich)
Published: (1994)

Circuit Synthesis with VHDL /
by: Airiau, Roland
Published: (1994)

Switching Theory for Logic Synthesis /
by: Sasao, Tsutomu
Published: (1999)

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

High - Level Synthesis : Introduction to Chip and System Design /
by: Gajski, Daniel D.
Published: (1992)

Understanding Behavioral Synthesis : a Practical Guide to High-Level Design /
by: Elliott, John P.
Published: (1999)

Synthesis of Finite State Machines : Functional Optimization /
by: Kam, Timothy
Published: (1997)

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)

The Synthesis Approach to Digital System Design /
by: Michel, Petra
Published: (1992)

VHDL Modeling for Digital Design Synthesis /
by: Hsu, Yu-Chin
Published: (1995)

Algorithms for Synthesis and Testing of Asynchronous Circuits /
by: Lavagno, Luciano
Published: (1993)

Advanced ASIC Chip Synthesis : Using Synopsys® Design CompilerTM and PrimeTime® /
by: Bhatnagar, Himanshu
Published: (1999)

Design Automation for Timing-Driven Layout Synthesis /
by: Sapatnekar, Sachin S.
Published: (1993)

Practical Synthesis of High-Performance Analog Circuits /
by: Ochotta, Emil S.
Published: (1998)

Co-Synthesis of Hardware and Software for Digital Embedded Systems /
by: Gupta, Rajesh Kumar
Published: (1995)

High-Level Synthesis for Real-Time Digital Signal Processing /
by: Vanhoof, Jan
Published: (1993)

High Level Synthesis of ASICs under Timing and Synchronization Constraints /
by: Ku, David C.
Published: (1992)

Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench /
by: Thomas, D. E.
Published: (1990)

Synthesis of Power Distribution to Manage Signal Integrity in Mixed-Signal ICs /
by: Stanisic, Balsha R.
Published: (1996)

Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications /
by: Geurts, Werner
Published: (1997)

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods /
by: Chang, Jui-Ming
Published: (1999)

Digital Systems Design and Prototyping Using Field Programmable Logic /
by: Salcic, Zoran
Published: (1997)

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits /
by: Monteiro, José
Published: (1997)

Quick-Turnaround ASIC Design in VHDL : Core-Based Behavioral Synthesis /
by: Romdhane, Mohamed S. Ben
Published: (1996)

Hardware/Software Co-Design and Co-Verification /
by: Bergé, Jean-Michel
Published: (1997)

SOC (System-on-a-Chip) Testing for Plug and Play Test Automation /
by: Chakrabarty, Krishnendu
Published: (2002)

Low-Energy FPGAs - Architecture and Design /
by: George, Varghese
Published: (2001)

Hardware-Software Co-Design of Embedded Systems : the POLIS Approach /
by: Balarin, Felice
Published: (1997)

Modeling of Induction Motors with One and Two Degrees of Mechanical Freedom /
by: Mendrela, Ernest
Published: (2003)

Research Perspectives and Case Studies in System Test and Diagnosis /
by: Sheppard, John W.
Published: (1998)