Skip to Main Content
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.
Design Automation Conference, 2005. Proceedings of the ASP-DAC 2005. Asia and South Pacific (Volume:2 )
Date of Conference: 18-21 Jan. 2005