Common use of Circuits Clause in Contracts

Circuits. The logic synthesis workshops (LGSynth89, LGSynth91 and LGSyn- th93) provided 59 behavioral models for testing, logic synthesis and optimization of circuits, see [12, 24]. These models can be viewed as ▇▇▇▇▇ machines in several ways. We provide four interpretations of each model as a ▇▇▇▇▇ machine. If two or more interpretations give equivalent results, we have included only one of them in the repository. The circuit benchmarks have been used recently for ▇▇▇▇▇ machine testing by Hierons & Tu¨rker [31].