The synchronous machine can be represented by a simple and easily surveyed block diagram from which can be derived all possible transfer functions. Because of the introduction of complex ...

We describe a new method for directly synthesizing a hazard-free multilevel logic implementation from a given logic specification. The method is based on free/ordered Binary Decision Diagrams (BDD's), ...