Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Circuits can be simplified for combinational equivalence checking by transforming internal functions, while preserving their ranges. ,  investigate how to effiectively apply the idea to improve equivalence checking.  propose new heuristics to identify groups of nets in a cut, and elaborate detailed aspects of the new equivalence checking method. With a given miter,  identify a group of nets in a cut and transform the function of each net into a more compact representation with less variables. These new compact parametric representations preserve the range of nets as ll as of the cut. This transformation significantly reduces the size of intermediate BDDs and enables the verification to be conclusive for many designs which state-of-the-art equivalence checkers fail to verify. Iterative groupings and transformations are performed until no grouping is possible for a cut. Then  proceed to the next cut and continue until the compare point is reached. Our experimental results show the effiectiveness of our strategy and new grouping heuristics on the new method.
['Hee Hwan Kwak', 'In-Ho Moon', 'James H. Kukula', 'Thomas R. Shiple']
I am writing a research paper on a idea Combinational equivalence checking through function transformation
[{"from": "human", "value": "I am writing a research paper on a idea Combinational equivalence checking through function transformation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Circuits can be simplified for combinational equivalence checking by transforming internal functions, while preserving their ranges. ,  investigate how to effiectively apply the idea to improve equivalence checking.  propose new heuristics to identify groups of nets in a cut, and elaborate detailed aspects of the new equivalence checking method. With a given miter,  identify a group of nets in a cut and transform the function of each net into a more compact representation with less variables. These new compact parametric representations preserve the range of nets as ll as of the cut. This transformation significantly reduces the size of intermediate BDDs and enables the verification to be conclusive for many designs which state-of-the-art equivalence checkers fail to verify. Iterative groupings and transformations are performed until no grouping is possible for a cut. Then  proceed to the next cut and continue until the compare point is reached. Our experimental results show the effiectiveness of our strategy and new grouping heuristics on the new method."}]