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;
}
}
}
}
}
