2020 CAD Contest @ ICCAD

Home

News

Problems

FAQ

Registration

Winners

History

Contact

Contest Problems

Problem A

X-value Equivalence Checking
(Cadence Design Systems, Inc.)
(cases)*There are 9 cases.
(cases_beta)*There are 9 cases.
(Q&A)
(Alpha test) (Beta test) (cases_final_renamed_extract)

*The final evaluation will have other hidden cases, which include hard-NEQ and hard-EQ.

Please notice that a team will be disqualified by wrong results. It�s already mentioned in the document before.

Contestants can decide to not output when not getting results.

Problem B

Routing with Cell Movement *The submitted binary file should be named with "cell_move_router".
(Synopsys, Inc.)
(cases)
(example_output_for_case1)
(case3)
(case4)
(case5)
(case6)
(evaluator)
(Q&A)
(Alpha test) (Beta test) (hidden cases)

Problem C

GPU Accelerated Logic Re-simulation
*Amazon GPU credits will be provided to participating teams.
(Nvidia Corp.)
(Benchmark dataset)
(Benchmark dataset--Google Docs access)
(Q&A)
(Alpha test) (Beta test) (Prefinal) (hidden benchmark)

Notice:

Detailed problem descriptions will be announced in early February, 2020.
Please watch FAQs for more information, or contact us for any further question.