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?