Searched refs:x_union_2_state_1 (Results 1 – 4 of 4) sorted by relevance
933 union_2_state_1 x_union_2_state_1; register1036 …x_union_2_state_1 = ~i[0]; i_union_2_state_1(x_union_2_state_1); if (x_union_2_state_…
636 svBitVecVal x_union_2_state_1[1]; in check_exports() local841 e_union_2_state_1(x_union_2_state_1); in check_exports()842 if (x_union_2_state_1[0] != (n % 2)) stop(); in check_exports()
847 union_2_state_1 x_union_2_state_1; register950 i_union_2_state_1(x_union_2_state_1); if (x_union_2_state_1 !== ~i[0] ) $stop;
838 svBitVecVal x_union_2_state_1[1]; in check_exports() local1141 x_union_2_state_1[0] = n % 2; in check_exports()1153 e_union_2_state_1(x_union_2_state_1); in check_exports()1154 if ((x_union_2_state_1[0] & 1) != !(n % 2)) stop(); in check_exports()