AMulet 2.0
AIG Multiplier Verification Tool
- a -
a0 :
aig.cpp
,
aig.h
aig_idx :
substitution.cpp
ainc :
aig.cpp
,
aig.h
al :
aig.cpp
,
aig.h
- b -
b0 :
aig.cpp
,
aig.h
base :
polynomial.cpp
,
polynomial.h
binc :
aig.cpp
,
aig.h
bl :
aig.cpp
,
aig.h
booth :
gate.cpp
,
gate.h
- c -
c_ins :
substitution.cpp
carry_in :
substitution.cpp
carry_out :
substitution.cpp
current_terms :
term.cpp
- f -
factors_per_slice :
elimination.cpp
- g -
gates :
gate.cpp
,
gate.h
gen_witness :
polynomial_solver.cpp
,
polynomial_solver.h
- i -
init_time :
signal_statistics.cpp
,
signal_statistics.h
input_name :
amulet.cpp
inputs :
substitution.cpp
- m -
M :
aig.cpp
,
aig.h
minus_one :
polynomial.cpp
,
polynomial.h
miter :
aig.cpp
,
aig.h
mod_coeff :
polynomial.cpp
,
polynomial.h
mod_factor :
nss.cpp
mode :
amulet.cpp
model :
aig.cpp
mstack :
polynomial.cpp
- n -
NN :
aig.cpp
,
aig.h
no_cin :
substitution.cpp
nonces :
hash_val.cpp
nss :
elimination.cpp
,
elimination.h
num_gates :
gate.cpp
,
gate.h
num_mstack :
polynomial.cpp
num_nonces :
hash_val.cpp
- o -
one :
polynomial.cpp
,
polynomial.h
original_outputs :
substitution.cpp
original_SIGABRT_handler :
signal_statistics.cpp
,
signal_statistics.h
original_SIGINT_handler :
signal_statistics.cpp
,
signal_statistics.h
original_SIGSEGV_handler :
signal_statistics.cpp
,
signal_statistics.h
original_SIGTERM_handler :
signal_statistics.cpp
,
signal_statistics.h
output_name1 :
amulet.cpp
output_name2 :
amulet.cpp
output_name3 :
amulet.cpp
outputs :
substitution.cpp
- p -
pac :
elimination.cpp
,
elimination.h
plain_inputs :
substitution.cpp
poly_idx :
pac.cpp
- r -
reduction_time :
signal_statistics.cpp
,
signal_statistics.h
reset_time :
signal_statistics.cpp
,
signal_statistics.h
rewritten :
aig.cpp
,
aig.h
rewritten_outputs :
substitution.cpp
- s -
signed_mult :
gate.cpp
,
gate.h
single_gen_gate :
substitution.cpp
size_mstack :
polynomial.cpp
size_terms :
term.cpp
slices :
slicing.cpp
,
slicing.h
slicing_elim_time :
signal_statistics.cpp
,
signal_statistics.h
spec_of_slice :
elimination.cpp
substitution_time :
signal_statistics.cpp
,
signal_statistics.h
- t -
term_table :
term.cpp
- u -
USAGE :
amulet.cpp
- v -
verbose :
signal_statistics.cpp
,
signal_statistics.h
vstack :
term.cpp
- x -
xor_chain :
gate.cpp
,
gate.h
Generated by
1.8.11