Posted By tpylant on 3/06/2007 7:13 PM
You can use the 'assert -summary' TCL command to get a summary of assertion errors.
assert -summary ...Print summary report of assertion statistics.
-byfailure..............Sort summary by number of failures.
-byname.................Sort summary by property name.
-final..................Defer summary report until the end of simulation.
-redirect ....Print the summary output to the file called "".
Thanks, but this would not be the easiest solutions for few reasons:
1. I still have to figure out hard on how to get this to do an "error count" that's easily visible under testbench code. Imagine some thing like the dut_error() call in E/Specman. It is fantastic as it gets us a single point contact for all errors. I remember a team member integrating that to OVL errors long back.
2. Typically enabling TCL means degrade in run time performance - not ideal for regressions. For instance I can't run simple: "ncelab my_top", ncsim my_top. I will require -access R (May be WC as well).
Any better ideas? Given that Specman is now part of NC/CDN, I'm quite sure you guys can do an integration to dut_error like stuff. Verisity guys knew "what's verification" and they paid attention to every sensible verification requirement! Perhaps that's the start-up mindset!
Originally posted in cdnusers.org by ajeetha