Lines Matching refs:nb
50 // Create a CLASS_TYPE number with nb bits.
51 CLASS_TYPE::CLASS_TYPE(int nb) :
55 if (nb > 0) {
56 nbits = num_bits(nb);
58 invalid_init("int nb", nb);
63 test_bound(nb);
104 int nb = v.length();
106 if (nb > 0) {
107 nbits = num_bits(nb);
109 invalid_init("sc_bv_base", nb);
114 test_bound(nb);
125 int nb = v.length();
127 if (nb > 0) {
128 nbits = num_bits(nb);
130 invalid_init("sc_lv_base", nb);
135 test_bound(nb);
146 int nb = v.length();
148 if (nb > 0) {
149 nbits = num_bits(nb);
151 invalid_init("sc_int_subref", nb);
156 test_bound(nb);
167 int nb = v.length();
169 if (nb > 0) {
170 nbits = num_bits(nb);
172 invalid_init("sc_uint_subref", nb);
177 test_bound(nb);
188 int nb = v.length();
190 if (nb > 0) {
191 nbits = num_bits(nb);
193 invalid_init("sc_signed_subref", nb);
198 test_bound(nb);
209 int nb = v.length();
211 if (nb > 0) {
212 nbits = num_bits(nb);
214 invalid_init("sc_unsigned_subref", nb);
219 test_bound(nb);
1461 int nb = u.nbits + v;
1462 int nd = DIV_CEIL(nb);
1465 test_bound(nb);
1474 small_type s = convert_signed_2C_to_SM(nb, nd, d);
1475 return CLASS_TYPE(s, nb, nd, d);
1597 int nb = u.nbits;
1612 small_type s = convert_signed_2C_to_SM(nb, nd, d);
1613 return CLASS_TYPE(s, nb, nd, d);
2271 // Create a signed number with (s, nb, nd, d) as its attributes (as
2274 small_type s, int nb, int nd, sc_digit *d, bool alloc) :
2275 sc_value_base(), sgn(s), nbits(num_bits(nb)), ndigits(), digit()