Synchronous Equivalence: Formal Methods for Embedded Systems

By:

Hsieh, Harry

Contributor(s):

Material type: Text

TextPublication details: New York Kluwer Academic / Plenum Publishers 2001Description: 136pISBN:

9780792372622

Subject(s):

Computer Engineering

DDC classification:

004.16 HSI

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	7th Floor Silence Zone	Reference	004.16 HSI (Browse shelf(Opens below))	Not For Loan		T0034992

Total holds: 0

Browsing Institute of Technology shelves, Collection: Reference Close shelf browser (Hides shelf browser)

Previous	No cover image available						No cover image available	Next
Previous	004.16 GAL Inside The Personal Computer	004.16 GOV IBM PC and Clones: Hardware, Troubleshooting and Maintenance	004.16 HIG High Performance Embedded Computing Handbook: A System Perspective	004.16 HSI Synchronous Equivalence: Formal Methods for Embedded Systems	004.16 IBR SD Card Projects Using the PIC Microcontroller	004.16 JAN Modeling Embedded Systems and SoCs: Concurrency and Time in Models of Computation	004.16 MIC Intel Microcontroller Handbook	Next

Introduction The Polis Codesign Framework Codesign Finite State Machines Formal Verification of CFSM Specifications Synchronous Equivalence Static Equivalence Analysis Communication Analysis Refining Communication Analysis Conclusions and Future Directions

There are no comments on this title.

to post a comment.