Download the Free Fishpond App!
Download on the App Store

Android App on Google play

Already own it?

Sell Yours
Home » Books » Nonfiction » Technology » Electronics » Circuits » General

Synchronous Equivalence

Formal Methods for Embedded Systems

By Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli

Elsewhere $283 $254   Save $29.00 (10%)
or 4 easy payments of $63.5 with What's this?
Free shipping Australia wide
Ships from local warehouse
Order Now for Christmas with e-Gift
Rating:
 
Register or sign-in to rate and get recommendations.
Format: Hardcover, 136 pages, 2001 Edition
Other Information: biography
Published In: United States, 01 December 2000
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 mechanical devices, or providing functionality that is not otherwise possible.
The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.
A formal verification methodology is formulated to verify general properties of the designs and demonstrate that this methodology is efficient in dealing with the problem of complexity and effective in finding bugs. However, manual intervention in the form of abstraction selection and separation of timing and functionality is required. It is conjectured that, for specific properties, efficient algorithms exist for completely automatic formal validations of systems.
Synchronous Equivalence: Formal Methods for Embedded Systems presents a brand new formal approach to high-level equivalence analysis. It opens design exploration avenues previously uncharted. It is a work that can stand alone but at the same time is fully compatible with the synthesis and simulation framework described in another book by Kluwer Academic Publishers Hardware-SoftwareCo-Design of Embedded Systems: The POLIS Approach, by Balarin et al.
Synchronous Equivalence: Formal Methods for Embedded Systems will be of interest to embedded system designers (automotive electronics, consumer electronics, and telecommunications), micro-controller designers, CAD developers and students, as well as IP providers, architecture platform designers, operating system providers, and designers of VLSI circuits and systems.

Table of Contents

List of Figures. List of Tables. 1. Introduction. 2. The polis codesign framework. 3. Codesign finite state machines. 4. Formal verification of CFSM specifications. 5. Synchronous equivalence. 6. Static equivalence analysis. 7. Communication analysis. 8. Refining communication analysis. 9. Conclusions and future directions.

Promotional Information

Springer Book Archives

EAN: 9780792372622
ISBN: 079237262X
Publisher: Kluwer Academic Publishers
Dimensions: 22.81 x 17.78 x 1.42 centimetres (0.88 kg)
Age Range: 15+ years
Tell a friend

Their Email:

Sell Yours

Already own this item?
Sell Yours and earn some cash. It's fast and free to list! (Learn More.)

Review this Product

BAD GOOD
 

Related Searches

 

Webmasters, Bloggers & Website Owners

You can earn a 5% commission by selling Synchronous Equivalence: Formal Methods for Embedded Systems on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep!

 

Authors/Publishers

Are you the Author/Publisher? Improve sales by submitting additional information on this title.