Hi
I am trying to get functional coverage on the temporal checks in my e based verification environment. I added the specman_pre_command "configure cover -collect_checks_expects=TRUE" in my simulation script. I also have the specman_pre_command "configure cover -specview_cover_window" to view the old specman coverage window. My queries are
1. I read somewhere that temporal expression coverage can be collected only with IMC tool.Is it true. In my current setup with collect_checks_expects variable i am not able to see th TC coverage where as i am able to see other coverage blocks.
2. I tried to get coverage DB in IMC format with "-coverage block:functional" in the ncelab phase. After running the simulation icc_<des_csum>_<ver_csum>.ucm file is generated for code coverage but sn_<des_csum>_<ver_csum>.ucm is not generated for functional coverage. And the functioanl coverage ucd file is generated as sn.ucd instead of sn_<>_<>.ucd. For code coverage the ucd file is generated in the icc_<>_<>.ucd format.
Any help in resolving this issue if greatly appreciated.