Searched refs:i_union_2_state_1 (Results 1 – 16 of 16) sorted by relevance
14 i_union_2_state_1 044 i_union_2_state_1 174 i_union_2_state_1 2
21 i_union_2_state_1 0109 i_union_2_state_1 1197 i_union_2_state_1 2
125 import "DPI-C" function union_2_state_1 i_union_2_state_1 ();508 if (i_union_2_state_1() !== ~i[0] ) $stop;
85 extern svBitVecVal i_union_2_state_1();
261 svBitVecVal i_union_2_state_1() { in i_union_2_state_1() function
170 import "DPI-C" function void i_union_2_state_1 (input union_2_state_1 i);878 i_union_2_state_1(~i[0]);
170 import "DPI-C" function void i_union_2_state_1 (output union_2_state_1 o);950 i_union_2_state_1(x_union_2_state_1); if (x_union_2_state_1 !== ~i[0] ) $stop;
170 import "DPI-C" function void i_union_2_state_1 (inout union_2_state_1 x);1036 …x_union_2_state_1 = ~i[0]; i_union_2_state_1(x_union_2_state_1); if (x_union_2_state_…
142 extern void i_union_2_state_1(svBitVecVal* x);
142 extern void i_union_2_state_1(svBitVecVal* o);
142 extern void i_union_2_state_1(const svBitVecVal* i);
376 void i_union_2_state_1(CONSTARG svBitVecVal* i) { in i_union_2_state_1() function
360 void i_union_2_state_1(svBitVecVal* o) { in i_union_2_state_1() function
466 void i_union_2_state_1(svBitVecVal* x) { in i_union_2_state_1() function