AMulet 2.0
AIG Multiplier Verification Tool
substitution_engine.h File Reference

contains the substitution engine More...

#include "substitution.h"
Include dependency graph for substitution_engine.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void init_gate_substitution ()
 
void substitution (const char *out_f1, const char *out_f2)
 

Detailed Description

contains the substitution engine

Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz

Function Documentation

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.

Parameters
out_f1name of first output file
out_f2name of second output file