Resources

Resources

This page will contain relevant documents and source files pertaining to the contest. Contest documents will be updated as necessary.

If you have any questions, please feel free to contact us.

Contest Documents

Please start with contest_rules.pdf, as that provides you with the high-level introduction to the contest problem. The other two documents -- contest_education.pdf and contest_file_formats.pdf -- are intended as supplementary (and necessary) references to aid you during the research and development portion of the contest.

Contest Overview

• tau_2019_contest_overview.pdf, v 1.0

Contest Rules

• Contest evaluation criteria: tau_2019_contest_rules.pdf, v 1.7 (Updated 1/13/2019)

Contest Education

• Overview tutorial for timing analysis and design optimization: tau_2019_contest_education, v 1.1
• VSD Open Conference Slides

Contest File Formats

• Input and output file formats: tau_2019_contest_file_formats.pdf, v1.5 (Updated 1/13/2019)

Final Results

• Contest Results Presented at TAU 2019
• iTimer Presentation (1st Place)
• TimeBoost Presentation (2nd Place)
• ParallelClosure Presentation (3rd Place)

Benchmarks

The designs here are intended for you to use during development and testing. We will update this section as new revisions are available.

• testcases_v1.0a.tar.gz
• testcases_v1.1.tar.gz
• testcases_v1.2.tar.gz
• example_libs_v1.1.tar.gz
• testcases_v2.0.tar.gz
• benchmarks_final.tar.gz (suite used for evaluating submissions)