2020 ICCAD

Home

News

Problems

FAQ

Registration

Winners

History

Contact
Like us on Facebook
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.
IEEE CEDA
ACM SIGDA
Ministry of
Synopsys, Inc.
Cadence Design
                                Systems, Inc.
Nvidia Corp.
Taiwan Semiconductor Research
                                Institute
Taiwan IC Design
                                Society

Copyright © 2020 CAD Contest. All Rights Reserved.