112855Sgabeblack@google.com/***************************************************************************** 212855Sgabeblack@google.com 312855Sgabeblack@google.com Licensed to Accellera Systems Initiative Inc. (Accellera) under one or 412855Sgabeblack@google.com more contributor license agreements. See the NOTICE file distributed 512855Sgabeblack@google.com with this work for additional information regarding copyright ownership. 612855Sgabeblack@google.com Accellera licenses this file to you under the Apache License, Version 2.0 712855Sgabeblack@google.com (the "License"); you may not use this file except in compliance with the 812855Sgabeblack@google.com License. You may obtain a copy of the License at 912855Sgabeblack@google.com 1012855Sgabeblack@google.com http://www.apache.org/licenses/LICENSE-2.0 1112855Sgabeblack@google.com 1212855Sgabeblack@google.com Unless required by applicable law or agreed to in writing, software 1312855Sgabeblack@google.com distributed under the License is distributed on an "AS IS" BASIS, 1412855Sgabeblack@google.com WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or 1512855Sgabeblack@google.com implied. See the License for the specific language governing 1612855Sgabeblack@google.com permissions and limitations under the License. 1712855Sgabeblack@google.com 1812855Sgabeblack@google.com *****************************************************************************/ 1912855Sgabeblack@google.com 2012855Sgabeblack@google.com/***************************************************************************** 2112855Sgabeblack@google.com 2212855Sgabeblack@google.com stab1.cpp -- 2312855Sgabeblack@google.com 2412855Sgabeblack@google.com Original Author: Martin Janssen, Synopsys, Inc., 2002-02-15 2512855Sgabeblack@google.com 2612855Sgabeblack@google.com *****************************************************************************/ 2712855Sgabeblack@google.com 2812855Sgabeblack@google.com/***************************************************************************** 2912855Sgabeblack@google.com 3012855Sgabeblack@google.com MODIFICATION LOG - modifiers, enter your name, affiliation, date and 3112855Sgabeblack@google.com changes you are making here. 3212855Sgabeblack@google.com 3312855Sgabeblack@google.com Name, Affiliation, Date: 3412855Sgabeblack@google.com Description of Modification: 3512855Sgabeblack@google.com 3612855Sgabeblack@google.com *****************************************************************************/ 3712855Sgabeblack@google.com 3812855Sgabeblack@google.com#include "systemc.h" 3912855Sgabeblack@google.com 4012855Sgabeblack@google.comint 4112855Sgabeblack@google.comsc_main( int argc, char* argv[] ) 4212855Sgabeblack@google.com{ 4312855Sgabeblack@google.com int i; 4412855Sgabeblack@google.com sc_bv<325> x; 4512855Sgabeblack@google.com sc_lv<142> y; 4612855Sgabeblack@google.com 4712855Sgabeblack@google.com sc_signed z(103); 4812855Sgabeblack@google.com sc_unsigned w(291); 4912855Sgabeblack@google.com 5012855Sgabeblack@google.com for (i = 0; i < 325; ++i) { 5112855Sgabeblack@google.com x[i] = ((i & 1) ^ ((i >> 1) & 1)); 5212855Sgabeblack@google.com }; 5312855Sgabeblack@google.com for (i = 0; i < 325; ++i) { 5412855Sgabeblack@google.com sc_assert( x[i] == ((i & 1) ^ ((i >> 1) & 1)) ); 5512855Sgabeblack@google.com }; 5612855Sgabeblack@google.com for (i = 0; i < 142; ++i) { 5712855Sgabeblack@google.com y[i] = ((i & 1) ^ ((i >> 2) & 1)); 5812855Sgabeblack@google.com } 5912855Sgabeblack@google.com for (i = 0; i < 142; ++i) { 6012855Sgabeblack@google.com // sc_assert( y[i] == char((i & 1) ^ ((i >> 2) & 1)) ); 6112855Sgabeblack@google.com sc_assert( y[i] == ((i & 1) ^ ((i >> 2) & 1)) ); 6212855Sgabeblack@google.com } 6312855Sgabeblack@google.com for (i = 0; i < 103; ++i) { 6412855Sgabeblack@google.com z[i] = (((i >> 2) & 1) ^ ((i >> 1) & 1)); 6512855Sgabeblack@google.com } 6612855Sgabeblack@google.com for (i = 0; i < 103; ++i) { 6712855Sgabeblack@google.com sc_assert( (bool) z[i] == (((i >> 2) & 1) ^ ((i >> 1) & 1)) ); 6812855Sgabeblack@google.com } 6912855Sgabeblack@google.com for (i = 0; i < 291; ++i) { 7012855Sgabeblack@google.com w[i] = (((i >> 3) & 1) ^ ((i >> 1) & 1)); 7112855Sgabeblack@google.com } 7212855Sgabeblack@google.com for (i = 0; i < 291; ++i) { 7312855Sgabeblack@google.com sc_assert( (bool) w[i] == (((i >> 3) & 1) ^ ((i >> 1) & 1)) ); 7412855Sgabeblack@google.com } 7512855Sgabeblack@google.com 7612855Sgabeblack@google.com cout << x << endl; 7712855Sgabeblack@google.com cout << x.to_string() << endl; 7812855Sgabeblack@google.com cout << y << endl; 7912855Sgabeblack@google.com cout << y.to_string() << endl; 8012855Sgabeblack@google.com cout << z << endl; 8112855Sgabeblack@google.com cout << w << endl; 8212855Sgabeblack@google.com 8312855Sgabeblack@google.com for (int k = 0; k < 100; ++k) { 8412855Sgabeblack@google.com cerr << "k = " << k << endl; 8512855Sgabeblack@google.com 8612855Sgabeblack@google.com for (i = 0; i < 100; ++i) { 8712855Sgabeblack@google.com int j; 8812855Sgabeblack@google.com 8912855Sgabeblack@google.com if (k == 0) { 9012855Sgabeblack@google.com cout << "i = " << i << endl; 9112855Sgabeblack@google.com cout << x.range(i + 224, i) << endl; 9212855Sgabeblack@google.com cout << x.range(i + 224, i).to_string() << endl; 9312855Sgabeblack@google.com cout << y.range(i + 41, i) << endl; 9412855Sgabeblack@google.com cout << y.range(i + 41, i).to_string() << endl; 9512855Sgabeblack@google.com cout << sc_signed(z.range(i + 2, i)) << endl; 9612855Sgabeblack@google.com cout << sc_unsigned(w.range(i + 190, i)) << endl; 9712855Sgabeblack@google.com cout << x.range(i, i + 224) << endl; 9812855Sgabeblack@google.com cout << x.range(i, i + 224).to_string() << endl; 9912855Sgabeblack@google.com cout << y.range(i, i + 41) << endl; 10012855Sgabeblack@google.com cout << y.range(i, i + 41).to_string() << endl; 10112855Sgabeblack@google.com cout << sc_signed(z.range(i, i + 2)) << endl; 10212855Sgabeblack@google.com cout << sc_unsigned(w.range(i, i + 190)) << endl; 10312855Sgabeblack@google.com } else { 10412855Sgabeblack@google.com (void) x.range(i + 224, i); 10512855Sgabeblack@google.com (void) y.range(i + 41, i); 10612855Sgabeblack@google.com (void) sc_signed(z.range(i + 2, i)); 10712855Sgabeblack@google.com (void) sc_unsigned(w.range(i + 190, i)); 10812855Sgabeblack@google.com } 10912855Sgabeblack@google.com 11012855Sgabeblack@google.com sc_bv<225> foo; 11112855Sgabeblack@google.com sc_bv<225> foo1; 11212855Sgabeblack@google.com foo = x.range(i + 224, i); 11312855Sgabeblack@google.com foo1 = x.range(i, i + 224); 11412855Sgabeblack@google.com for (j = 0; j < 225; ++j) { 11512855Sgabeblack@google.com sc_assert( foo[j] == x[i + j] ); 11612855Sgabeblack@google.com sc_assert( foo1[224 - j] == x[i + j] ); 11712855Sgabeblack@google.com } 11812855Sgabeblack@google.com 11912855Sgabeblack@google.com sc_lv<42> bar; 12012855Sgabeblack@google.com sc_lv<42> bar1; 12112855Sgabeblack@google.com bar = y.range(i + 41, i); 12212855Sgabeblack@google.com bar1 = y.range(i, i + 41); 12312855Sgabeblack@google.com for (j = 0; j < 42; ++j) { 12412855Sgabeblack@google.com sc_assert( bar[j] == y[i + j] ); 12512855Sgabeblack@google.com sc_assert( bar1[41 - j] == y[i + j] ); 12612855Sgabeblack@google.com } 12712855Sgabeblack@google.com 12812855Sgabeblack@google.com sc_signed baz(3); 12912855Sgabeblack@google.com sc_signed baz1(3); 13012855Sgabeblack@google.com baz = z.range(i + 2, i); 13112855Sgabeblack@google.com baz1 = z.range(i, i + 2); 13212855Sgabeblack@google.com for (j = 0; j < 3; ++j) { 13312855Sgabeblack@google.com sc_assert( baz[j] == z[i + j] ); 13412855Sgabeblack@google.com sc_assert( baz1[2 - j] == z[i + j] ); 13512855Sgabeblack@google.com } 13612855Sgabeblack@google.com 13712855Sgabeblack@google.com sc_unsigned quux(191); 13812855Sgabeblack@google.com sc_unsigned quux1(191); 13912855Sgabeblack@google.com quux = w.range(i + 190, i); 14012855Sgabeblack@google.com quux1 = w.range(i, i + 190); 14112855Sgabeblack@google.com for (j = 0; j < 191; ++j) { 14212855Sgabeblack@google.com sc_assert( quux[j] == w[i + j] ); 14312855Sgabeblack@google.com sc_assert( quux1[190 - j] == w[i + j] ); 14412855Sgabeblack@google.com } 14512855Sgabeblack@google.com } 14612855Sgabeblack@google.com } 14712855Sgabeblack@google.com return 0; 14812855Sgabeblack@google.com} 149