Home > Community > Forums > Functional Verification > ifv: initialisation with init -load

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 ifv: initialisation with init -load 

Last post Wed, Jun 27 2007 1:38 AM by archive. 3 replies.
Started by archive 27 Jun 2007 01:38 AM. Topic has 3 replies and 1206 views
Page 1 of 1 (4 items)
Sort Posts:
  • Wed, Jun 27 2007 1:38 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    ifv: initialisation with init -load Reply

    Hi,

    I am trying to initialise my design with loading the waveforms from normal simulation because ifv is having difficulties with normal procedur (apply reset and run a few cycles)

    I tried to load the waves but I don't have the syntax exactly right. Can anybody help?

    My traces are in :

    ../nccoex/rundir_otb_ddrii/traces/

    containing traces.dsn and traces.trn

    When I open the traces with simvison the database is called traces::

    I tried:

    =>FormalVerifier> init -load -sst2 ../nccoex/rundir_otb_ddrii/traces -time 150ns

    '1493' Signals not found in database, retaining old values for these signals.

    formalverifier: Initial value of state variables loaded from SST2 database at time "1.5e-7s".

    =>FormalVerifier> init -load -sst2 traces -root ../nccoex/rundir_otb_ddrii/traces -time 150ns

    formalverifier: *E,SSDBER: Could not load database traces : No such file or directory.

    =>FormalVerifier> init -load -sst2 ../nccoex/rundir_otb_ddrii/traces -root traces -time 150ns

    formalverifier: *E,SSDBSC: Can not find top module "traces" in database ../nccoex/rundir_otb_ddrii/traces.

    =>FormalVerifier> init -load -sst2 ../nccoex/rundir_otb_ddrii/traces -root traces::ip_pnx8542_2032lib.ip_pnx8542_2032_tb(testbench) -time 150ns

    formalverifier: *E,SSDBSC: Can not find top module "traces::ip_pnx8542_2032lib.ip_pnx8542_2032_tb(testbench)" in database ../nccoex/rundir_otb_ddrii/traces.

    If I do init -show the still all registers are 1'bx

    Thanks,

    Frank 


    Originally posted in cdnusers.org by frank.vaneerdewegh
    • Post Points: 0
  • Wed, Jun 27 2007 4:03 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: ifv: initialisation with init -load Reply

    Hi Frank,

    you need to specify the root path to the toplevel, starting with ":" for the toplevel, e.g. if you have the following:

    Sim hierarchy: ip_pnx8542_2032_tb:dut
    IFV hierarchy: dut

    init -load -sst2 ../nccoex/rundir_otb_ddrii/traces -root [b]:dut[/b] -time 150ns

    What kind of issues are you facing with the Tcl initialization?

    Joerg.


    Originally posted in cdnusers.org by foster
    • Post Points: 0
  • Wed, Jun 27 2007 4:05 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: ifv: initialisation with init -load Reply

    Sorry for the HTML formatting, here it is correct:

    init -load -sst2 ../nccoex/rundir_otb_ddrii/traces -root :dut -time 150ns


    Originally posted in cdnusers.org by foster
    • Post Points: 0
  • Wed, Jun 27 2007 4:18 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: ifv: initialisation with init -load Reply

    Hi Foster,

    Thanks for your quick reply, the issue is resolved now.

    The issue I had was that when I did a reset and then invoked the logic simulator a few cycles the simulator hang itself. This is most likely caused because I have read in some code which can not be synthesized.

    By reading in the waves from the normal simulation run I am able to initialize the design and prevent the hang up.

    Thanks again for your help

    Regards,
    Frank 


    Originally posted in cdnusers.org by frank.vaneerdewegh
    • Post Points: 0
Page 1 of 1 (4 items)
Sort Posts:
Started by archive at 27 Jun 2007 01:38 AM. Topic has 3 replies.