AMulet 2.0
AIG Multiplier Verification Tool
parser.h File Reference

contains functions necessary to parse the AIG More...

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

Go to the source code of this file.

Functions

bool match_and (unsigned lhs, unsigned rhs0, unsigned rhs1)
 
void determine_input_order ()
 
void init_aiger_with_checks ()
 
void parse_aig (const char *input_name)
 

Detailed Description

contains functions necessary to parse the AIG

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

Function Documentation

void determine_input_order ( )

Identifies whether the input vectors are separated or interleaved.

void init_aiger_with_checks ( )

Checks whether the input AIG fullfills our requirements.

bool match_and ( unsigned  lhs,
unsigned  rhs0,
unsigned  rhs1 
)

Checks whether 'model' contains an aiger node with output lhs and inputs rhs0 and rhs1.

Parameters
lhsunsigned integer
rhs0unsigned integer
rhs1unsigned integer
Returns
True if 'model' contains such an aiger node
void parse_aig ( const char *  input_name)

Reads the input aiger given in the file called input_name to the aiger 'model' using the parserer function of aiger.h

Parameters
input_namechar * ame of input file