Cover Image

Synchronous Equivalence : Formal Methods for Embedded Systems /

Show other versions (1)

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechan...

Full description

Bibliographic Details
Main Author:	Hsieh, Harry
Corporate Author:	SpringerLink (Online service)
Other Authors:	Balarin, Felice, Sangiovanni-Vincentelli, Alberto
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2001.
Subjects:	Engineering. Electronic data processing. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

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

Symbolic Simulation Methods for Industrial Formal Verification /
by: Jones, Robert B.
Published: (2002)

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

A Unified Approach for Timing Verification and Delay Fault Testing /
by: Sivaraman, Mukund
Published: (1998)

Evolutionary Algorithms for VLSI CAD /
by: Drechsler, Rolf
Published: (1998)

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

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

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

VLSI Specification, Verification and Synthesis /
by: Birtwistle, G. M. (Graham M.)
Published: (1987)

The Design of Communicating Systems : a System Engineering Approach /
by: Koomen, C. J.
Published: (1991)

Embedded System Applications /
by: Baron, Claude
Published: (1997)

Performance Analysis of Real-Time Embedded Software /
by: Li, Yau-Tsun Steven
Published: (1999)

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

Retargetable Compiler Technology for Embedded Systems : Tools and Applications /
by: Leupers, Rainer
Published: (2001)

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

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

The Codesign of Embedded Systems: A Unified Hardware/Software Representation /
by: Kumar, Sanjaya
Published: (1996)

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

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

Assertion-Based Design /
by: Foster, Harry
Published: (2003)

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

Advanced Low-Power Digital Circuit Techniques /
by: Elrabaa, Muhammad S.
Published: (1997)

Analog Circuit Design : High-Speed Analog-to-Digital Converters ; Mixed Signal Design ; PLL's and Synthesizers /
by: Plassche, Rudy J.
Published: (2000)

Mixed-Mode Simulation /
by: Saleh, Resve A.
Published: (1990)

Technology CAD - Computer Simulation of IC Processes and Devices /
by: Dutton, Robert W.
Published: (1993)

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

Systematic Design of Sigma-Delta Analog-to-Digital Converters /
by: Bajdechi, Ovidiu
Published: (2004)

Asymptotic Waveform Evaluation : And Moment Matching for Interconnect Analysis /
by: Chiprout, Eli
Published: (1994)

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

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

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems /
by: Demir, Alper
Published: (1998)

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

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

Bandpass Sigma Delta Modulators : Stability Analysis, Performance and Design Aspects /
by: Engelen, Jurgen
Published: (1999)

Systematic Design of Analog IP Blocks /
by: Vandenbussche, J.
Published: (2003)

Analog Circuit Design : Low-Noise, Low-Power, Low-Voltage ; Mixed-Mode Design with CAD Tools ; Voltage, Current and Time References /
by: Huijsing, Johan H., 1938-
Published: (1996)

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

High Performance Clock Distribution Networks /
by: Friedman, Eby G.
Published: (1997)

Interconnects in VLSI Design /
by: Grabinski, Hartmut
Published: (2000)

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