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.

Source

The following tar.xz contains the versions of AIGdd2, AIGoFuzzing, MultAIGenFuzzer and AMulet2.2 that are used in the experimental evaluation of our paper. Maintained versions will be provided on GitHub after acceptence.

[ KaufmannBiere_TAP22_source.tar.xz (801 KB)]

Experiments

[ 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.