Publications

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation

• • Manish Pandey
  • Randal E. Bryant
• 1999
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems