17 extern std::vector<std::list<Gate*>>
slices ;
int fix_xors()
Definition: slicing.cpp:209
const Gate * topological_largest_child(const Gate *n)
Definition: slicing.cpp:44
void slicing_non_xor()
Definition: slicing.cpp:565
void slice_by_xor_chains()
Definition: slicing.cpp:93
void init_slices()
Definition: slicing.cpp:15
void print_slices()
Definition: slicing.cpp:27
void fix_slice(Gate *n, int i)
Definition: slicing.cpp:73
void slice_jut_gates()
Definition: slicing.cpp:173
contains the class Gate and further functions to organize the gate structure, such as initializing th...
bool search_for_booth_pattern()
Definition: slicing.cpp:345
void merge_all()
Definition: slicing.cpp:425
void promote_all()
Definition: slicing.cpp:494
void fix_jut_gates()
Definition: slicing.cpp:264
void fill_slices()
Definition: slicing.cpp:551
void input_cone(Gate *n, int num)
Definition: slicing.cpp:309
std::vector< std::list< Gate * > > slices
vector-list Gate* matrix to store slices
Definition: slicing.cpp:12
void slicing_xor()
Definition: slicing.cpp:301
void find_carries()
Definition: slicing.cpp:327
void upwards_slicing(const Gate *n, const Gate *pre)
Definition: slicing.cpp:137