ACE2 Project

This is the content of ace.c

Functions

void print_status(Abc_Ntk_t *ntk)

void alloc_and_init_activity_info(Abc_Ntk_t *ntk)

void ace_update_latch_probs(Abc_Ntk_t *ntk)

void print_node_bdd(Abc_Ntk_t *ntk)

void print_nodes(Vec_Ptr_t *nodes)

int ace_calc_activity(Abc_Ntk_t *ntk, int num_vectors, char *clk_name)

Ace_Obj_Info_t *Ace_ObjInfo(Abc_Obj_t *obj)

void prob_epsilon_fix(double *d)

int main(int argc, char *argv[])

Variables

st__table *ace_info_hash_table