Limits of using signatures for permutation independent Boolean comparison

  title={Limits of using signatures for permutation independent Boolean comparison},
  author={Janett Mohnke and Paul Molitor and Sharad Malik},
  journal={Formal Methods in System Design},
This paper addresses problems that arise while checking the equivalence of two Boolean functions under arbitrary input permutations. The permutation problem has several applications in the synthesis and verification of combinational logic: It arises in the technology mapping stage of logic synthesis and in logic verification. A popular method to solve it is to compute a signature for each variable that helps to establish a correspondence between the variables. Several researchers have suggested… CONTINUE READING
Highly Cited
This paper has 61 citations. REVIEW CITATIONS

1 Figure or Table



Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.