Learn More
We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) --- a key step in incremental logic design that identifies large sections of a(More)
  • 1