Synchronous Equivalence

Name: Synchronous Equivalence
SKU: 2437899
Price: 300.00 NZD
Availability: InStock

Formal Methods for Embedded Systems

By:

Format:

Hardback

Show Hide Adult Content

$300.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $75.00 with Afterpay Learn more

6 weekly interest-free payments of $50.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 12-24 June using International Courier

Description

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Usually, 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. This book presents a formal approach to high-level equivalence analysis, opening design exploration avenues that offer new possibilities. It is a work that can stand alone but at the same time is compatible with synthesis and simulation frameworks.

Release date NZ

December 31st, 2000

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Illustrations

XI, 136 p.

Pages

136

Dimensions

156x234x11

ISBN-13

9780792372622

Product ID

2437899

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here