Lines Matching defs:bv2
46 sc_bv<64> bv2;
91 cout << bv2 << " bv2" << endl;
93 cout << "(bv1[33], bv2[34]) = 3" << endl;
94 (bv1[33], bv2[34]) = 3;
96 cout << bv2 << " bv2" << endl;
103 cout << "(bv1,bv2[9]) = 0" << endl;
104 (bv1,bv2[9]) = 0;
106 cout << bv2 << " bv2 " << endl;
108 cout << "(bv2[9], bv1) = -1ll" << endl;
109 (bv2[9], bv1) = -1ll;
111 cout << bv2 << " bv2 " << endl;