Inproceedings,

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

, , , and .
ICCAD, page 342-344. ACM, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews