Abstract: Techniques for emulating a logic block in an integrated circuit (IC) design are provided. The techniques include identifying a plurality of logic elements that are connectable to formal logic block. These logic elements are connected to perform logic functions associated with the logic block. The logic block may be a physical logic block on one IC design and a non-existent logic block on another IC design. The logic elements and associated connections form an emulated logic block.

Abstract: Techniques for generating an emulated logic block are provided. The techniques include identifying a logic block in one integrated circuit (IC) design that needs to be emulated in another IC design. The logic block may be a physical logic block on the IC design and a non-existent logic block on the other IC design. Logic elements are used to form an emulated logic block that shares substantially the same functionality as the actual logic block. The logic elements are connected to perform logic functions associated with the actual logic block and are grouped together to form an emulated logic block based on the actual logic block.

Abstract: A method for performing equivalency checking between circuit designs is provided. The method includes partitioning the circuit designs into logic cones. The method includes comparing corresponding logic cones for equivalency. The comparing includes identifying constant registers feeding nonequivalent logic cones, and propagating a constant value associated with the constant register. The method includes repeating the comparing with the propagated constant values inserted in one of the corresponding logic cones. The method also includes detecting duplicate registers feeding nonequivalent logic cones in embodiments where no constant registers feeding nonequivalent logic cones are found.