Simulation and SAT-Based Boolean Matching for Large Boolean Networks

Provided by: Association for Computing Machinery
Topic: Hardware
Format: PDF
Boolean matching is to check the equivalence of two target functions under input permutation and input/output phase assignment. This paper addresses the permutation independent Boolean matching problem. The authors will propose a matching algorithm seamlessly integrating Simulation and Boolean Satisfiability (S&S) techniques. Their proposed algorithm will first utilize functional properties like unateness and symmetry to reduce the searching space. In the followed simulation phase, three types of input vector generation and checking method will be used to match the inputs of two target functions. Experimental results on large benchmarking circuits demonstrate that their matching algorithm is indeed very effective and efficient to solve Boolean matching for large Boolean networks.

Find By Topic