test01.log revision 12855:588919e0e4aa
1SystemC Simulation 2*** test_ctors 3sc_bv_base() 432 500000000000000000000000000000000 6sc_bv_base( int ) 73 8000 9sc_bv_base( bool ) 1032 1111111111111111111111111111111111 12sc_bv_base( bool, int ) 133 14111 15sc_bv_base( const char* ) 164 170101 184 191010 204 210101 224 231010 24sc_bv_base( const char*, int ) 253 26101 274 280101 295 3000101 313 32010 334 341010 355 3601010 373 38101 394 400101 415 4200101 433 44010 454 461010 475 4811010 49sc_bv_base( const sc_proxy<X>& ) 50 51Warning: (W207) sc_bv cannot contain values X and Z 52In file: <removed by verify.pl> 534 540101 55sc_bv_base( const sc_bv_base& ) 564 570110 58*** test_bitwise_complement 59sc_bv_base::b_not() 604 610110 624 631001 64sc_bv_base::operator ~ () const 654 660110 674 681001 69sc_lv_base::b_not() 704 7101ZX 724 7310XX 74sc_lv_base::operator ~ () const 754 7601ZX 774 7810XX 79sc_proxy<X>::b_not() 804 8101ZX 824 8310XX 84sc_proxy<X>::operator ~ () const 854 8601ZX 874 8810XX 89*** test_bitwise_and 90*** test_bitwise_or 91*** test_bitwise_xor 92*** test_bitwise_left_shift 93sc_bv_base::operator <<= ( int ) 9470 951111111111111111111111111111111111111111111111111111111111111111111110 96 97caught exception 98Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 99In file: <removed by verify.pl> 10070 1011111111111111111111111111111111111111111111111111111111111111111110000 10270 1031111111111111111111111111111111110000000000000000000000000000000000000 10470 1050000000000000000000000000000000000000000000000000000000000000000000000 106sc_bv_base::operator << ( int ) const 10770 1081111111111111111111111111111111111111111111111111111111111111111111110 109 110caught exception 111Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 112In file: <removed by verify.pl> 11370 1141111111111111111111111111111111111111111111111111111111111111111110000 11570 1161111111111111111111111111111111111110000000000000000000000000000000000 11770 1180000000000000000000000000000000000000000000000000000000000000000000000 119sc_lv_base::operator <<= ( int ) 12070 121XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 122 123caught exception 124Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 125In file: <removed by verify.pl> 12670 127XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 12870 129XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000000 13070 1310000000000000000000000000000000000000000000000000000000000000000000000 132sc_lv_base::operator << ( int ) const 13370 134XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 135 136caught exception 137Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 138In file: <removed by verify.pl> 13970 140XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 14170 142XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000 14370 1440000000000000000000000000000000000000000000000000000000000000000000000 145sc_proxy<X>::operator <<= ( int ) 14670 147XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 148 149caught exception 150Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 151In file: <removed by verify.pl> 15270 153XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 15470 155XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000000 15670 1570000000000000000000000000000000000000000000000000000000000000000000000 158sc_proxy<X>::operator << ( int ) const 15970 160XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 161 162caught exception 163Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1 164In file: <removed by verify.pl> 16570 166XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000 16770 168XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000 16970 1700000000000000000000000000000000000000000000000000000000000000000000000 171*** test_bitwise_right_shift 172sc_bv_base::operator >>= ( int ) 17370 1740111111111111111111111111111111111111111111111111111111111111111111111 175 176caught exception 177Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 178In file: <removed by verify.pl> 17970 1800000111111111111111111111111111111111111111111111111111111111111111111 18170 1820000000000000000000000000000000000000111111111111111111111111111111111 18370 1840000000000000000000000000000000000000000000000000000000000000000000000 185sc_bv_base::operator >> ( int ) const 18670 1870111111111111111111111111111111111111111111111111111111111111111111111 188 189caught exception 190Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 191In file: <removed by verify.pl> 19270 1930000111111111111111111111111111111111111111111111111111111111111111111 19470 1950000000000000000000000000000000000111111111111111111111111111111111111 19670 1970000000000000000000000000000000000000000000000000000000000000000000000 198sc_lv_base::operator >>= ( int ) 19970 200ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 201 202caught exception 203Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 204In file: <removed by verify.pl> 20570 206000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 20770 208000000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 20970 2100000000000000000000000000000000000000000000000000000000000000000000000 211sc_lv_base::operator >> ( int ) const 21270 213ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 214 215caught exception 216Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 217In file: <removed by verify.pl> 21870 219000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 22070 221000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 22270 2230000000000000000000000000000000000000000000000000000000000000000000000 224sc_proxy<X>::operator >>= ( int ) 22570 226ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 227 228caught exception 229Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 230In file: <removed by verify.pl> 23170 232000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 23370 234000000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 23570 2360000000000000000000000000000000000000000000000000000000000000000000000 237sc_proxy<X>::operator >> ( int ) const 23870 239ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 240 241caught exception 242Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1 243In file: <removed by verify.pl> 24470 245000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 24670 247000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 24870 2490000000000000000000000000000000000000000000000000000000000000000000000 250*** test_bitwise_left_rotate 251sc_bv_base::lrotate( int ) 25270 2531111111111111111111111111111111111111111111111111111111111111111111110 254 255caught exception 256Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 257In file: <removed by verify.pl> 25870 2591111111111111111111111111111111111111111111111111111111111111111110111 26070 2611111111111111111111111111111111110111111111111111111111111111111111111 26270 2631111111111111111111111111111111011111111111111111111111111111111111111 264lrotate( const sc_bv_base&, int ) 26570 2661111111111111111111111111111111111111111111111111111111111111111111110 267 268caught exception 269Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 270In file: <removed by verify.pl> 27170 2721111111111111111111111111111111111111111111111111111111111111111110111 27370 2741111111111111111111111111111111111110111111111111111111111111111111111 27570 2761111111111111111111111111111111111111111111111111111111111111111111011 277sc_lv_base::lrotate( int ) 27870 279XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 280 281caught exception 282Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 283In file: <removed by verify.pl> 28470 285XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX 28670 287XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 28870 289XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 290lrotate( const sc_lv_base&, int ) 29170 292XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 293 294caught exception 295Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 296In file: <removed by verify.pl> 29770 298XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX 29970 300XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 30170 302XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXX 303sc_proxy<X>::lrotate( int ) 30470 305XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 306 307caught exception 308Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 309In file: <removed by verify.pl> 31070 311XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX 31270 313XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 31470 315XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 316lrotate( const sc_proxy<X>&, int ) 31770 318XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ 319 320caught exception 321Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1 322In file: <removed by verify.pl> 32370 324XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX 32570 326XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 32770 328XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXX 329*** test_bitwise_right_rotate 330sc_bv_base::rrotate( int ) 33170 3320111111111111111111111111111111111111111111111111111111111111111111111 333 334caught exception 335Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 336In file: <removed by verify.pl> 33770 3381110111111111111111111111111111111111111111111111111111111111111111111 33970 3401111111111111111111111111111111111110111111111111111111111111111111111 34170 3421111111111111111111111111111111111111101111111111111111111111111111111 343rrotate( const sc_bv_base&, int ) 34470 3450111111111111111111111111111111111111111111111111111111111111111111111 346 347caught exception 348Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 349In file: <removed by verify.pl> 35070 3511110111111111111111111111111111111111111111111111111111111111111111111 35270 3531111111111111111111111111111111110111111111111111111111111111111111111 35470 3551101111111111111111111111111111111111111111111111111111111111111111111 356sc_lv_base::rrotate( int ) 35770 358ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 359 360caught exception 361Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 362In file: <removed by verify.pl> 36370 364XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 36570 366XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 36770 368XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 369rrotate( const sc_lv_base&, int ) 37070 371ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 372 373caught exception 374Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 375In file: <removed by verify.pl> 37670 377XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 37870 379XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 38070 381XXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 382sc_proxy<X>::rrotate( int ) 38370 384ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 385 386caught exception 387Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 388In file: <removed by verify.pl> 38970 390XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 39170 392XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 39370 394XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 395rrotate( const sc_proxy<X>&, int ) 39670 397ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 398 399caught exception 400Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1 401In file: <removed by verify.pl> 40270 403XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 40470 405XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 40670 407XXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 408*** test_bitwise_reverse 409sc_bv_base::reverse() 4107 4111111000 4127 4130001111 4148 41511110000 4168 41700001111 418reverse( const sc_bv_base& ) 4197 4201111000 4217 4220001111 4238 42411110000 4258 42600001111 427sc_lv_base::reverse() 4287 42901ZX01Z 4307 431Z10XZ10 4328 43301ZX01ZX 4348 435XZ10XZ10 436reverse( const sc_lv_base& ) 4377 43801ZX01Z 4397 440Z10XZ10 4418 44201ZX01ZX 4438 444XZ10XZ10 445sc_proxy<X>::reverse() 4468 44701ZX01ZX 4488 449XZ10XZ10 4508 45101ZX01ZX 452reverse( const sc_proxy<X>& ) 4538 45401ZX01ZX 4558 456XZ10XZ10 4578 45801ZX01ZX 459*** test_string_conversions 460sc_bv_base 46111111111 4620b011111111 4630bus11111111 4640bsm11111111 4650o377 4660ous377 4670osm377 4680x0ff 4690xusff 4700xsmff 4710d255 4720csd10000000- 473sc_lv_base 47411111111 4750b011111111 4760bus11111111 4770bsm11111111 4780o377 4790ous377 4800osm377 4810x0ff 4820xusff 4830xsmff 4840d255 4850csd10000000- 486sc_proxy<X> 48711111111 4880b011111111 4890bus11111111 4900bsm11111111 4910o377 4920ous377 4930osm377 4940x0ff 4950xusff 4960xsmff 4970d255 4980csd10000000- 499