| SystemC Simulation |
| *** test_ctors |
| sc_bv_base() |
| 32 |
| 00000000000000000000000000000000 |
| sc_bv_base( int ) |
| 3 |
| 000 |
| sc_bv_base( bool ) |
| 32 |
| 11111111111111111111111111111111 |
| sc_bv_base( bool, int ) |
| 3 |
| 111 |
| sc_bv_base( const char* ) |
| 4 |
| 0101 |
| 4 |
| 1010 |
| 4 |
| 0101 |
| 4 |
| 1010 |
| sc_bv_base( const char*, int ) |
| 3 |
| 101 |
| 4 |
| 0101 |
| 5 |
| 00101 |
| 3 |
| 010 |
| 4 |
| 1010 |
| 5 |
| 01010 |
| 3 |
| 101 |
| 4 |
| 0101 |
| 5 |
| 00101 |
| 3 |
| 010 |
| 4 |
| 1010 |
| 5 |
| 11010 |
| sc_bv_base( const sc_proxy<X>& ) |
| |
| Warning: (W207) sc_bv cannot contain values X and Z |
| In file: <removed by verify.pl> |
| 4 |
| 0101 |
| sc_bv_base( const sc_bv_base& ) |
| 4 |
| 0110 |
| *** test_bitwise_complement |
| sc_bv_base::b_not() |
| 4 |
| 0110 |
| 4 |
| 1001 |
| sc_bv_base::operator ~ () const |
| 4 |
| 0110 |
| 4 |
| 1001 |
| sc_lv_base::b_not() |
| 4 |
| 01ZX |
| 4 |
| 10XX |
| sc_lv_base::operator ~ () const |
| 4 |
| 01ZX |
| 4 |
| 10XX |
| sc_proxy<X>::b_not() |
| 4 |
| 01ZX |
| 4 |
| 10XX |
| sc_proxy<X>::operator ~ () const |
| 4 |
| 01ZX |
| 4 |
| 10XX |
| *** test_bitwise_and |
| *** test_bitwise_or |
| *** test_bitwise_xor |
| *** test_bitwise_left_shift |
| sc_bv_base::operator <<= ( int ) |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111111110 |
| |
| caught exception |
| Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111110000 |
| 70 |
| 1111111111111111111111111111111110000000000000000000000000000000000000 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_bv_base::operator << ( int ) const |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111111110 |
| |
| caught exception |
| Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111110000 |
| 70 |
| 1111111111111111111111111111111111110000000000000000000000000000000000 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_lv_base::operator <<= ( int ) |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000000 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_lv_base::operator << ( int ) const |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_proxy<X>::operator <<= ( int ) |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000000 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_proxy<X>::operator << ( int ) const |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| *** test_bitwise_right_shift |
| sc_bv_base::operator >>= ( int ) |
| 70 |
| 0111111111111111111111111111111111111111111111111111111111111111111111 |
| |
| caught exception |
| Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 0000111111111111111111111111111111111111111111111111111111111111111111 |
| 70 |
| 0000000000000000000000000000000000000111111111111111111111111111111111 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_bv_base::operator >> ( int ) const |
| 70 |
| 0111111111111111111111111111111111111111111111111111111111111111111111 |
| |
| caught exception |
| Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 0000111111111111111111111111111111111111111111111111111111111111111111 |
| 70 |
| 0000000000000000000000000000000000111111111111111111111111111111111111 |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_lv_base::operator >>= ( int ) |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 000000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_lv_base::operator >> ( int ) const |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_proxy<X>::operator >>= ( int ) |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 000000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| sc_proxy<X>::operator >> ( int ) const |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| 0000000000000000000000000000000000000000000000000000000000000000000000 |
| *** test_bitwise_left_rotate |
| sc_bv_base::lrotate( int ) |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111111110 |
| |
| caught exception |
| Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111110111 |
| 70 |
| 1111111111111111111111111111111110111111111111111111111111111111111111 |
| 70 |
| 1111111111111111111111111111111011111111111111111111111111111111111111 |
| lrotate( const sc_bv_base&, int ) |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111111110 |
| |
| caught exception |
| Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111110111 |
| 70 |
| 1111111111111111111111111111111111110111111111111111111111111111111111 |
| 70 |
| 1111111111111111111111111111111111111111111111111111111111111111111011 |
| sc_lv_base::lrotate( int ) |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| lrotate( const sc_lv_base&, int ) |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXX |
| sc_proxy<X>::lrotate( int ) |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| lrotate( const sc_proxy<X>&, int ) |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ |
| |
| caught exception |
| Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXX |
| *** test_bitwise_right_rotate |
| sc_bv_base::rrotate( int ) |
| 70 |
| 0111111111111111111111111111111111111111111111111111111111111111111111 |
| |
| caught exception |
| Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 1110111111111111111111111111111111111111111111111111111111111111111111 |
| 70 |
| 1111111111111111111111111111111111110111111111111111111111111111111111 |
| 70 |
| 1111111111111111111111111111111111111101111111111111111111111111111111 |
| rrotate( const sc_bv_base&, int ) |
| 70 |
| 0111111111111111111111111111111111111111111111111111111111111111111111 |
| |
| caught exception |
| Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| 1110111111111111111111111111111111111111111111111111111111111111111111 |
| 70 |
| 1111111111111111111111111111111110111111111111111111111111111111111111 |
| 70 |
| 1101111111111111111111111111111111111111111111111111111111111111111111 |
| sc_lv_base::rrotate( int ) |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| rrotate( const sc_lv_base&, int ) |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| sc_proxy<X>::rrotate( int ) |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| rrotate( const sc_proxy<X>&, int ) |
| 70 |
| ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| |
| caught exception |
| Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 |
| In file: <removed by verify.pl> |
| 70 |
| XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| 70 |
| XXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX |
| *** test_bitwise_reverse |
| sc_bv_base::reverse() |
| 7 |
| 1111000 |
| 7 |
| 0001111 |
| 8 |
| 11110000 |
| 8 |
| 00001111 |
| reverse( const sc_bv_base& ) |
| 7 |
| 1111000 |
| 7 |
| 0001111 |
| 8 |
| 11110000 |
| 8 |
| 00001111 |
| sc_lv_base::reverse() |
| 7 |
| 01ZX01Z |
| 7 |
| Z10XZ10 |
| 8 |
| 01ZX01ZX |
| 8 |
| XZ10XZ10 |
| reverse( const sc_lv_base& ) |
| 7 |
| 01ZX01Z |
| 7 |
| Z10XZ10 |
| 8 |
| 01ZX01ZX |
| 8 |
| XZ10XZ10 |
| sc_proxy<X>::reverse() |
| 8 |
| 01ZX01ZX |
| 8 |
| XZ10XZ10 |
| 8 |
| 01ZX01ZX |
| reverse( const sc_proxy<X>& ) |
| 8 |
| 01ZX01ZX |
| 8 |
| XZ10XZ10 |
| 8 |
| 01ZX01ZX |
| *** test_string_conversions |
| sc_bv_base |
| 11111111 |
| 0b011111111 |
| 0bus11111111 |
| 0bsm11111111 |
| 0o377 |
| 0ous377 |
| 0osm377 |
| 0x0ff |
| 0xusff |
| 0xsmff |
| 0d255 |
| 0csd10000000- |
| sc_lv_base |
| 11111111 |
| 0b011111111 |
| 0bus11111111 |
| 0bsm11111111 |
| 0o377 |
| 0ous377 |
| 0osm377 |
| 0x0ff |
| 0xusff |
| 0xsmff |
| 0d255 |
| 0csd10000000- |
| sc_proxy<X> |
| 11111111 |
| 0b011111111 |
| 0bus11111111 |
| 0bsm11111111 |
| 0o377 |
| 0ous377 |
| 0osm377 |
| 0x0ff |
| 0xusff |
| 0xsmff |
| 0d255 |
| 0csd10000000- |