Go to main content

School of Computer Science Intranet

APT research areas

Discover our main research areas

Efficient Synthesis of Speed Independent Combinational Logic Circuits.

W. B. Toms, D. A.Edwards


Speed-independent synthesis of combinational logic datapath circuits using tools such as Petrify is often inefficient or infeasible because such circuits typically contain many concurrent inputs and independent outputs. This paper presents a practical method for generating arbitrary combinational logic circuits, using a sub-class of speed-independent circuits known as Strongly-Indicating circuits, without the need to verify the speed-independence of the implementation through construction of a state-graph or other method.

PDF (331K) IEEE Copyright