Traditionally, circuits with combinational loops are found only in asynchronous designs.
However, combinational loops can also be useful for synchronous circuit design …

During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

Synthesis of Finite State Machines: Functional Optimization is one of two monographs
devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional …

An essential problem in component-based design is how to compose components designed
in isolation. Several approaches have been proposed for specifying component interfaces …

Functional programming techniques have been used to describe synchronous digital circuits
since the early 1980s. Here we survey the systems and formal underpinnings that constitute …

The Problem of the Unknown Component: Theory and Applications addresses the issue of
designing a component that, combined with a known part of a system, conforms to an overall …

We classify gate level circuits with cycles based on their stabilization behavior. We define a
formal class of combinational circuits, the constructive circuits, for which signals settle to a …

Using data collected from 1992 to 1995 with the ALEPH detector at LEP, a measurement of
the colour factor ratios CA/CF and TF/CF and the strong coupling constant α s= CF α s …

This dissertation addresses three separate, but related problems concerning the formal
analysis of synchronous circuits and their associated finite state machines. The first problem …

Given deterministic interfaces P and Q, we investigate the problem of synthesising an
interface R such that P composed with R refines Q. We show that a solution exists iff P and …