Home > Community > Forums > Functional Verification > FSM coverage (RTL from CtoS)

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: *

 FSM coverage (RTL from CtoS) 

Last post Fri, May 10 2013 2:43 PM by GiuseppeDG. 0 replies.
Started by GiuseppeDG 10 May 2013 02:43 PM. Topic has 0 replies and 624 views
Page 1 of 1 (1 items)
Sort Posts:
  • Fri, May 10 2013 2:43 PM

    • GiuseppeDG
    • Not Ranked
    • Joined on Mon, Dec 10 2012
    • New York, NY
    • Posts 10
    • Points 140
    FSM coverage (RTL from CtoS) Reply

    I am trying to measuring FSM coverage of RTL code that tis generated with CtoS and co-simulated with its original TLM testbench (CtoS generates some wrappers for doing that).

    I am passing -COVFILE covfile.ccf as an argument of ncsc_run. The covfile contains:

    select_coverage -all -instance sc_main.channeldownsampleCb.tlm_instance.m_dut_vlog

    at the end of the simulation I can visualize toggle and block coverage (iccr)  but not FSM coverage. 
     
    During simulation I get the warning:
     
    ncsim: *W,COVUSC: Unsupported SystemC module (worklib.sc_main) specified for coverage 
     
    What is my error?
    • Post Points: 5
Page 1 of 1 (1 items)
Sort Posts:
Started by GiuseppeDG at 10 May 2013 02:43 PM. Topic has 0 replies.