Synchronous Equivalence

Synchronous Equivalence

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-Software Co-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.


Author
Publisher Springer Science & Business Media
Release Date
ISBN 1461516595
Pages 136 pages
Rating 4/5 (90 users)

More Books:

Synchronous Equivalence
Language: en
Pages: 136
Authors: Harry Hsieh
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

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
Computing and Information
Language: en
Pages: 522
Authors: Ryszard Janicki
Categories: Artificial intelligence
Type: BOOK - Published: 1989 - Publisher: North Holland

Cellular Automata and Discrete Complex Systems
Language: en
Pages: 153
Authors: Hector Zenil
Categories: Computers
Type: BOOK - Published: 2020-10-21 - Publisher: Springer Nature

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex System
Design and Analysis of Distributed Embedded Systems
Language: en
Pages: 288
Authors: Bernd Kleinjohann
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer

Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis
Formal Methods for Embedded System Design
Language: en
Pages: 294
Authors: Harry Chia Chang Hsieh
Categories: Embedded computer systems
Type: BOOK - Published: 2000 - Publisher:

Stabilization, Safety, and Security of Distributed Systems
Language: en
Pages: 614
Authors: Shlomi Dolev
Categories: Business & Economics
Type: BOOK - Published: 2010-09-09 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, held
NASA Formal Methods
Language: en
Pages: 470
Authors: Aaron Dutle
Categories: Computers
Type: BOOK - Published: 2018-04-06 - Publisher: Springer

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24
Implementation and Application of Automata
Language: en
Pages: 317
Authors: Frank Drewes
Categories: Computers
Type: BOOK - Published: 2015-07-27 - Publisher: Springer

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Um
Pro Node.js for Developers
Language: en
Pages: 308
Authors: Colin J. Ihrig
Categories: Computers
Type: BOOK - Published: 2013-11-25 - Publisher: Apress

Since it’s creation in 2009, Node.js has grown into a powerful and increasingly popular asynchronous-development framework for creating highly-scalable networ
Memorandum
Language: en
Pages:
Authors:
Categories: Electric engineering
Type: BOOK - Published: 2000 - Publisher: