Data Path Benchmarks
Collection of some benchmarks for data path verification, mostly consisting of arithmetic miters, as submitted to the SAT Competition 2016.
See also the following benchmark description.
Collection of Combinational Arithmetic Miters Submitted to the SAT
Competition 2016. In Proceedings of SAT Competition
2016 - Solver and Benchmark Descriptions, Tomáš Balyo,
Marijn Heule, Matti Järvisalo (editors), vol. B-2016-1 of
Department of Computer Science Series of Publications B, pages
65-66, University of Helsinki, 2016.