Fuzzing and Delta Debugging And-Inverter Graph Verification Tools
This site provides access to an extended set of experimental data and source code used in our paper:
Daniela Kaufmann, Armin Biere. Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. Submitted to Tests and Proofs (TAP) 2022.GitHub after acceptence.
[ KaufmannBiere_TAP22_source.tar.xz (801 KB)]
[ KaufmannBiere_TAP22_experimental_data.tar.xz (989 MB)]
Beside those benchmarks used in our experiments we also include the AIGs we derived for other multipliers in related work discussed in the paper.