contains the substitution engine More...
#include "substitution.h"
Go to the source code of this file.
Functions | |
void | init_gate_substitution () |
void | substitution (const char *out_f1, const char *out_f2) |
contains the substitution engine
Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz
void init_gate_substitution | ( | ) |
Initializes the internal gate structure, with necessary informations for substitution. Uses the AIG module
void substitution | ( | const char * | out_f1, |
const char * | out_f2 | ||
) |
Calls the substitution routine. We first detect the GP adder, then generate the equivalent miter and print the CNF miter and the rewritten AIG to the output files.
out_f1 | name of first output file |
out_f2 | name of second output file |