An embodiment of the present invention includes a range generator to simplify equivalence checking. A range generator is constructed. The range generator is represented by a characteristic function of a range of a cut function for a cut circuit in an implementation circuit and a reference circuit. The range generator is simpler than the cut circuit. Equivalence of the implementation circuit and the reference circuit is checked using the range generator.

 
Web www.patentalert.com

< Grid-based system and method for interacting with electronic program guide grid

< Current scheduling system and method for optimizing multi-threshold CMOS designs

> Debug port disable mechanism

> SAR restart and going home procedures

~ 00292