Login / Signup

Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.

Gianpiero CabodiLeandro DipietroMarco MurcianoSergio Nocco
Published in: J. Electron. Test. (2010)
Keyphrases
  • preserving transformations
  • differential geometry
  • image analysis
  • special case
  • shape analysis