Lines Matching defs:bv1
45 sc_bv<64> bv1;
90 cout << bv1 << " bv1" << endl;
93 cout << "(bv1[33], bv2[34]) = 3" << endl;
94 (bv1[33], bv2[34]) = 3;
95 cout << bv1 << " bv1" << endl;
98 cout << "bv1[43].set_word(0, 1)" << endl;
99 bv1[43].set_word(0, 1);
100 cout << bv1 << " bv1" << endl;
103 cout << "(bv1,bv2[9]) = 0" << endl;
104 (bv1,bv2[9]) = 0;
105 cout << bv1 << " bv1" << endl;
108 cout << "(bv2[9], bv1) = -1ll" << endl;
109 (bv2[9], bv1) = -1ll;
110 cout << bv1 << " bv1" << endl;