blob: 1d06f278b75117a72d0a4c1d8a1ea78ac1008b29 [file] [log] [blame]
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-