Approximate Functional Matching in Electronic Systems

摘要

Methods and apparatuses for approximate functional matching are described including identifying functionally similar subsets of an integrated circuit design or software program, distinguishing control inputs of the subsets from data inputs, and assigning combinations of logic values to the input control signals to capture co-factors for functional matching.

主权项

1. A method to update a specification, comprising one or more of hardware structure, IC design, or software program, the method comprising:
determining, using a processor, whether an input is a control input or a data input; determining a co-factor by toggling combinations of values for a plurality of control inputs; identifying one or more matches in the specification by a comparison of co-factors; determining one or more updated portions of the specification based on the one or more matches; and updating the specification based on the determining.