Jump to content

Search the Community

Showing results for tags 'scv'.



More search options

  • Search By Tags

    Type tags separated by commas.
  • Search By Author

Content Type


Forums

  • Accellera Systems Initiative
    • Information
    • Announcements
    • In the News
  • SystemC
    • SystemC Language
    • SystemC AMS (Analog/Mixed-Signal)
    • SystemC TLM (Transaction-level Modeling)
    • SystemC Verification (UVM-SystemC, SCV)
    • SystemC CCI Public Review
  • UVM (Universal Verification Methodology)
    • Methodology and BCL Forum
    • UVM SystemVerilog Discussions
    • Simulator Specific Issues
    • UVM Commercial Announcements
    • UVM 1.2 Public Review
  • Portable Stimulus
    • Portable Stimulus Discussion
  • IP-XACT
    • IP-XACT Discussion
  • IEEE 1735/IP Encryption
    • IEEE 1735/IP Encryption Discussion
  • OCP (Open Core Protocol)
  • UCIS (Unified Coverage Interoperability Standard)
  • Commercial Announcements
    • Announcements

Categories

  • SystemC
  • UVM
  • UCIS
  • IEEE 1735/IP Encryption

Calendars

  • Community Calendar

Found 5 results

  1. Hi, I am using transaction recording with the latest version of SCV (version 2.0.1) and currently I am getting a segmentation fault. I have just searched for a list or something similar with known bugs but I haven't found one. Is there a bug list or a list of known problems somewhere? Regards, Thomas PS: I will create a minimal model in the next few days.
  2. Hi, It seems that the constraint solver has as issue with negative values. I tried this example: struct addr_constraint : public scv_constraint_base { scv_smart_ptr<sc_int<8>> row; scv_smart_ptr<sc_int<8>> col; SCV_CONSTRAINT_CTOR(addr_constraint) { SCV_CONSTRAINT ( (col() + row() == 10) } In this case I only got positive values for col and row. I tried playing with the constraint and tried the following: SCV_CONSTRAINT ( (col() + row() == 10) || (col() - (0 - row()) == 10) ); This constraint is identical to the previous one but now I get both negative and positive values for col and row. Anyone else had this issue? Why does it happen? Thanks!
  3. Hi, I have two problems: 1) I tried to implement multiplication constraint based on the one of the examples: struct addr_constraint : public scv_constraint_base { scv_smart_ptr<int> row; scv_smart_ptr<int> col; SCV_CONSTRAINT_CTOR(addr_constraint) { SCV_CONSTRAINT( (row())*(col()) < 50); SCV_CONSTRAINT( col() > 0); } }; When I try to randomize the values, the program keeps running and never stops. What might be the problem? 2) Is there any way to define more complex mathematical constraints? constraints on the square, log, shift, division etc...? Where can I find a list of the supported mathematical operations? Thanks!
  4. I start to learn SystemC and SCV. But I don't have much experience on complex Makefile as the one provided in the install package by SCV. It is too hard for me to understand who the files are really compiled. I am not sure if any one can provide simple Makefile template (Only Linux platform is OK). Thanks.
  5. Hi, I try to run the 'make check' of the scv-2.0-public_preview and it failed the test 'examples/randomization/constraints'. make constraints make[5]: Entering directory `/tmp/scv-2.0-public_preview/objdir/examples/randomization/constraints' g++ -fPIC -DHAVE_CONFIG_H -I. -I../../../../examples/randomization/constraints -I../../.. -I/tools/systemc/2.3.0/include -I../../../../src -I/tmp/scv -2.0-public_preview/objdir/include -Wall -Wformat -O0 -g -MT constraints-packet.o -MD -MP -MF .deps/constraints-packet.Tpo -c -o constraints-packet.o `test -f 'packet.cpp' || echo '../../../../examples/randomization/constraints/'`packet.cpp mv -f .deps/constraints-packet.Tpo .deps/constraints-packet.Po g++ -fPIC -DHAVE_CONFIG_H -I. -I../../../../examples/randomization/constraints -I../../.. -I/tools/systemc/2.3.0/include -I../../../../src -I/tmp/scv -2.0-public_preview/objdir/include -Wall -Wformat -O0 -g -MT constraints-test.o -MD -MP -MF .deps/constraints-test.Tpo -c -o constraints-test.o `test -f 'test.cpp' || echo '../../../../examples/randomization/constraints/'`test.cpp mv -f .deps/constraints-test.Tpo .deps/constraints-test.Po /bin/sh ../../../libtool --tag=CXX --mode=link g++ -fPIC -Wall -Wformat -O0 -g -R/tools/systemc/2.3.0/lib-linux64 -o constraints constraints-packe t.o constraints-test.o ../../../src/scv/libscv.la -ldl -ldl libtool: link: g++ -fPIC -Wall -Wformat -O0 -g -o .libs/constraints constraints-packet.o constraints-test.o ../../../src/scv/.libs/libscv.so -L/tools/systemc/2.3.0/lib-linux64 /tools/systemc/2.3.0/lib-linux64/libsystemc.so -ldl -pthread -Wl,-rpath -Wl,/tools/systemc/scv/scv-2.0_public_review/lib-linux64 -Wl,-rpath -Wl,/tools/systemc/2.3.0/lib-linux64 make[5]: Leaving directory `/tmp/scv-2.0-public_preview/objdir/examples/randomization/constraints' make check-TESTS make[5]: Entering directory `/tmp/scv-2.0-public_preview/objdir/examples/randomization/constraints' make[6]: Entering directory `/tmp/scv-2.0-public_preview/objdir/examples/randomization/constraints' FAIL: constraints make[7]: Entering directory `/tmp/scv-2.0-public_preview/objdir/examples/randomization/constraints' make[7]: Nothing to be done for `all'. make[7]: Leaving directory `/tmp/scv-2.0-public_preview/objdir/examples/randomization/constraints' ============================================================================ Testsuite summary for SCV 2.0.0 ============================================================================ # TOTAL: 1 # PASS: 0 # SKIP: 0 # XFAIL: 0 # FAIL: 1 # XPASS: 0 # ERROR: 0 and the 'testsuite.log' ================================================================== SCV 2.0.0: examples/randomization/constraints/test-suite.log ================================================================== # TOTAL: 1 # PASS: 0 # SKIP: 0 # XFAIL: 0 # FAIL: 1 # XPASS: 0 # ERROR: 0 .. contents:: :depth: 2 FAIL: constraints ================= SystemC 2.3.0-ASI --- Sep 4 2013 12:52:15 Copyright (c) 1996-2012 by all Contributors, ALL RIGHTS RESERVED Generate unconstrained packet data UNICAST 139 25 MULTICAST 153 219 UNICAST 179 95 MULTICAST 136 8 MULTICAST 215 6 UNICAST 212 232 MULTICAST 175 242 UNICAST 104 132 MULTICAST 113 122 MULTICAST 61 149 Generate constrained (range/distribution) packet data UNICAST 2 20 UNICAST 13 15 UNICAST 4 15 Generate constrained packets using constraint class Error: (E549) uncaught exception: std::bad_alloc In file: ../../../../src/sysc/kernel/sc_except.cpp:98 I did not see the error at my old 32bit linux box. However, I do see it with my newer 64 bit linux box. $ uname -a Linux debian 3.10-2-amd64 #1 SMP Debian 3.10.7-1 (2013-08-17) x86_64 GNU/Linux I'm using SystemC 2.3.0 and that one should be compiled with 'export CXX=g++ -gPIC' jan@debian:/tools/systemc/2.3.0/lib-linux64$ file * libsystemc-2.3.0.so: ELF 64-bit LSB shared object, x86-64, version 1 (GNU/Linux), dynamically linked, BuildID[sha1]=068c7fa9bb16c3eb225f07cf739af1f2046d6f6e, not stripped jan@debian:/tools/systemc/scv/scv-2.0_public_review/lib-linux64$ file * libscv-2.0.0.so: ELF 64-bit LSB shared object, x86-64, version 1 (GNU/Linux), dynamically linked, BuildID[sha1]=3afbdc13b3ea21fb869dd734c9818ef585cdacf8, not stripped Could somebody help me?
×