Searched refs:x_struct_2_state_32 (Results 1 – 4 of 4) sorted by relevance
927 struct_2_state_32 x_struct_2_state_32; register1029 …x_struct_2_state_32 = ~32'd0 << i; i_struct_2_state_32(x_struct_2_state_32); if (x_struct_2_sta…
630 svBitVecVal x_struct_2_state_32[1]; in check_exports() local818 e_struct_2_state_32(x_struct_2_state_32); in check_exports()819 if (x_struct_2_state_32[0] != 0xffffffff >> n) stop(); in check_exports()
841 struct_2_state_32 x_struct_2_state_32; register943 … i_struct_2_state_32(x_struct_2_state_32); if (x_struct_2_state_32 !== ~32'd0 << i) $stop;
832 svBitVecVal x_struct_2_state_32[1]; in check_exports() local1104 x_struct_2_state_32[0] = 0xffffffff >> n; in check_exports()1118 e_struct_2_state_32(x_struct_2_state_32); in check_exports()1119 if (x_struct_2_state_32[0] != 0xffffffff << n) stop(); in check_exports()