void print_status(Abc_Ntk_t * ntk) { int i; Abc_Obj_t * obj; Abc_NtkForEachNode(ntk, obj, i) { Ace_Obj_Info_t * info = Ace_ObjInfo(obj); switch (info->status) { case ACE_UNDEF: printf("%d: UNDEFINED\n", i); break; case ACE_DEF: printf("%d: DEFINED\n", i); break; case ACE_SIM: printf("%d: SIM\n", i); break; case ACE_NEW: printf("%d: NEW\n", i); break; case ACE_OLD: printf("%d: OLD\n", i); break; } }
int check_pi_status(Abc_Obj_t * obj) { int i; Abc_Obj_t * fanin; Abc_ObjForEachFanin(obj, fanin, i) { Ace_Obj_Info_t * info = Ace_ObjInfo(obj); if (info->status == ACE_UNDEF) { return 0; } }
int calc_depth(Abc_Obj_t * obj) { int i, depth; Abc_Obj_t * fanin; depth = 0; switch (Abc_ObjType(obj)) { case ABC_OBJ_NODE: case ABC_OBJ_PO: case ABC_OBJ_BI: Abc_ObjForEachFanin(obj, fanin, i) { Ace_Obj_Info_t * fanin_info = Ace_ObjInfo(fanin); depth = MAX(depth, fanin_info->depth); } return (depth + 1); default: return 0; }
void get_pi_values(Abc_Ntk_t * ntk, Vec_Ptr_t * nodes, int cycle) { Abc_Obj_t * obj; Ace_Obj_Info_t * info; int i; double prob0to1, prob1to0, rand_num; //Vec_PtrForEachEntry(Abc_Obj_t *, nodes, obj, i) Abc_NtkForEachObj(ntk, obj, i) { info = Ace_ObjInfo(obj); if (Abc_ObjType(obj) == ABC_OBJ_PI) { if (info->values) { if (info->status == ACE_UNDEF) { info->status = ACE_NEW; if (info->values[cycle] == 1) { info->value = 1; info->num_toggles = 1; info->num_ones = 1; } else { info->value = 0; info->num_toggles = 0; info->num_ones = 0; } } else { switch (info->value) { case 0: if (info->values[cycle] == 1) { info->value = 1; info->status = ACE_NEW; info->num_toggles++; info->num_ones++; } else { info->status = ACE_OLD; } break; case 1: if (info->values[cycle] == 0) { info->value = 0; info->status = ACE_NEW; info->num_toggles++; } else { info->num_ones++; info->status = ACE_OLD; } break; default: printf("Bad Value\n"); assert(0); break; } } } else { prob0to1 = ACE_P0TO1(info->static_prob, info->switch_prob); prob1to0 = ACE_P1TO0(info->static_prob, info->switch_prob); //We don't need a cryptographically secure random number //generator so suppress warning in coverity // //coverity[dont_call] rand_num = (double) rand() / (double) RAND_MAX; if (info->status == ACE_UNDEF) { info->status = ACE_NEW; if (rand_num < prob0to1) { info->value = 1; info->num_toggles = 1; info->num_ones = 1; } else { info->value = 0; info->num_toggles = 0; info->num_ones = 0; } } else { switch (info->value) { case 0: if (rand_num < prob0to1) { info->value = 1; info->status = ACE_NEW; info->num_toggles++; info->num_ones++; } else { info->status = ACE_OLD; } break; case 1: if (rand_num < prob1to0) { info->value = 0; info->status = ACE_NEW; info->num_toggles++; } else { info->num_ones++; info->status = ACE_OLD; } break; default: printf("Bad value\n"); assert(FALSE); break; } } } } }