The term" reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is
now commonly accepted to designate permanently operating systems, and to distinguish …

Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been
successfully applied in many other fields. DDs are widely used and are also integrated in …

Efficient manipulation of Boolean functions is an important component of many computer-
aided design tasks. This paper describes a package for manipulating Boolean functions …

In this paper we present theory and experimental results on Algebraic Decision Diagrams.
These diagrams extend BDDs by allowing values from an arbitrary finite domain to be …

This book will attempt to give a first synthesis of recent works con cerning reactive system
design. The term" reactive system" has been introduced in order to at'oid the ambiguities …

This paper addresses the design of reactive real-time embedded systems. Such systems are
often heterogeneous in implementation technologies and design styles, for example by …

Embedded systems are informally defined as a collection of programmable parts
surrounded by ASICs and other standard components, that interact continuously with an …

We address the problem of estimating the average power dissipated in VLSI combinational
and sequential circuits, under random input sequences. Switch-ing activity is strongly …

This advanced textbook presents an almost complete overview of techniques for hardware
verification. It covers all approaches used in existing tools, such as binary and word-level …

This paper presents a novel method to derive a Petri net from any specification model that
can be mapped into a state-based representation with arcs labeled with symbols from an …