Login / Signup

ICCAD-2012 CAD contest in finding the minimal logic difference for functional ECO and benchmark suite: CAD contest.

WoeiTzy JongHwei-Tseng WangChengta HsiehKei-Yong Khoo
Published in: ICCAD (2012)
Keyphrases
  • benchmark suite
  • computer aided design
  • computer aided
  • design process
  • object oriented
  • computer graphics
  • cad systems
  • automated reasoning
  • logic programming
  • multi valued
  • solid models
  • image segmentation
  • modal logic