Cover Image

Synthesis of Finite State Machines : Functional Optimization /

Show other versions (1)

Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of technique...

Full description

Bibliographic Details
Main Author:	Kam, Timothy
Corporate Author:	SpringerLink (Online service)
Other Authors:	Villa, Tiziano, Brayton, Robert, Sangiovanni-Vincentelli, Alberto
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1997.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

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

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools /
by: Fuhrer, Robert M.
Published: (2001)

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

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

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

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

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

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

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

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

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)

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

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)

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

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

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)

Function/Architecture Optimization and Co-Design of Embedded Systems /
by: Tabbara, Bassam
Published: (2000)

On Optimal Interconnections for VLSI /
by: Kahng, Andrew B.
Published: (1995)

Timing Analysis and Optimization of Sequential Circuits /
by: Maheshwari, Naresh
Published: (1999)

High-Level Power Analysis and Optimization /
by: Raghunathan, Anand
Published: (1998)

Cellular Neural Networks : Analysis, Design and Optimization /
by: Hänggi, Martin
Published: (2000)

Timing Optimization Through Clock Skew Scheduling /
by: Kourtev, Ivan S.
Published: (2000)

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

Electronic CAD Frameworks /
by: Barnes, Timothy J.
Published: (1992)

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

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

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)