The competition benchmarks are now online and can be found in the benchmarks directory. Each benchmark is available in Verilog, Aiger, and Blif format, each of them representing an AND-inverter graph. It is sufficient that the synthesis algorithm can parse one of the file types.
In 2017, we will organize a programming contest at the International Workshop on Logic & Synthesis (IWLS). To participate, please follow these steps:
-
Read the contest description.
-
Write an algorithm that translates benchmarks in either Verilog, Aiger, or Blif format into YIG files. Some benchmarks for training are available in the examples directory.
-
We will send additional contest benchmarks on April 26, 2017. These will be used to evaluate your algorithms.
-
You need to submit your binary or source code and the resulting YIG files for the contest benchmarks until May 3, 2017. Please send everything via email to Mathias Soeken. We must be able to reproduce your results on our machines within a timeout of 10 minutes.
-
We will submit the generated YIG files from your submissions until May 10, 2017 and announce all the results on this webpage.
-
The submissions are rated according to the number of gates in the YIGs. If for some benchmark no YIG exists or the algorithm reaches the timeout limit, we take the worst case size over all submissions and multiply it by 1.5. If for some benchmark an incorrect YIG exists, we take the worst case size over all submissions and multiply it by 2.
-
You are encouraged to share your source code with the IWLS community, but it's not required or has any effect on the rating. If you want to share, you can either point us to an online repository that we will link to this and the IWLS webpage. If you prefer to share the source code only among the IWLS participants, we will copy your code onto the proceeding pen drives.
If you have any question, please create an issue.
-
Place: 1200 USD
-
Place: 1000 USD
-
Place: 800 USD
Awarded students are required to participate at IWLS and present their algorithms and results.
- Pre-fascicle to The Art of Computer Programming Section 7.1.1., more information on the Y-function is described in Exercise 67.