datatypes/int/sc_nbcommon.inc

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 );
59 	std::sprintf( msg, "%s::%s( int nb ) : nb = %d is not valid",
60 		 CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
65     test_bound(nb);
106     int nb = v.length();
108     if( nb > 0 ) {
109         nbits = num_bits( nb );
112         std::sprintf( msg, "%s::%s( sc_bv_base ) : nb = %d is not valid",
113                  CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
118         test_bound(nb);
129     int nb = v.length();
131     if( nb > 0 ) {
132         nbits = num_bits( nb );
135         std::sprintf( msg, "%s::%s( sc_lv_base ) : nb = %d is not valid",
136                  CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
141         test_bound(nb);
152     int nb = v.length();
154     if( nb > 0 ) {
155         nbits = num_bits( nb );
158         std::sprintf( msg, "%s::%s( sc_int_subref ) : nb = %d is not valid",
159                  CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
164         test_bound(nb);
175     int nb = v.length();
177     if( nb > 0 ) {
178         nbits = num_bits( nb );
181         std::sprintf( msg, "%s::%s( sc_uint_subref ) : nb = %d is not valid",
182                  CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
187         test_bound(nb);
198     int nb = v.length();
200     if( nb > 0 ) {
201         nbits = num_bits( nb );
204         std::sprintf( msg, "%s::%s( sc_signed_subref ) : nb = %d is not valid",
205                  CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
210         test_bound(nb);
221     int nb = v.length();
223     if( nb > 0 ) {
224         nbits = num_bits( nb );
227         std::sprintf( msg, "%s::%s( sc_unsigned_subref ) : nb = %d is not valid",
228                  CLASS_TYPE_STR, CLASS_TYPE_STR, nb );
233         test_bound(nb);
1716   int nb = u.nbits + v;
1717   int nd = DIV_CEIL(nb);
1720   test_bound(nb);
1732   small_type s = convert_signed_2C_to_SM(nb, nd, d);
1734   return CLASS_TYPE(s, nb, nd, d);
1874   int nb = u.nbits;
1892   small_type s = convert_signed_2C_to_SM(nb, nd, d);
1894   return CLASS_TYPE(s, nb, nd, d);
2614 // Create a signed number with (s, nb, nd, d) as its attributes (as
2616 CLASS_TYPE::CLASS_TYPE(small_type s, int nb,
2619     sc_value_base(), sgn(s), nbits(num_bits(nb)), ndigits(), digit()