Resources

The sV2.tar.gz contains 9 benchmarks that are based on the s* (e.g., s27) benchmarks above. However, v2 includes a more complex clock tree as well as assertions that should exercise your code.

For each benchmark, we included the expected output that your binary should produce. The settings we used are [-hold -numPaths 10] and [-setup -numPaths 10].

Thanks to IITimer team for their help in benchmark generation. The s* benchmarks are modified based on the TAU 2013 v1.0 benchmarks.

ac97_ctrl, systemdes, vga_lcd, wb_dma, tv80, and aes_core are based on the TAU 2013 v.2.0 benchmarks.