Disclosed are techniques for performing the verification of circuits where corresponding signals in the circuits or specifications are encoded differently and/or redundancy occurs in the signals. Verification, such as logic equivalence checking of circuits, can be performed where the corresponding signals in the two circuits are encoded differently, and/or redundancy occurs in the signals.

 
Web www.patentalert.com

< Analyzing the dependencies between objects in a system

> Methods, systems, and computer program products for providing content synchronization or control among one or more devices

> Lost write detection and repair

~ 00564