On Sat, 26 Jul 2008, Paddy3118 wrote:
|------------------------------------------------------------------------------------|
|"Modelsim's ucdb seems slow when ranking tests: |
|
http://paddy3118.blogspot.com/2008/07/ranking-modelsim-coverage-results-using.html|
| |
|- Paddy." |
|------------------------------------------------------------------------------------|
From that webpage of Paddy's:
|----------------------------------------------------------------------|
|"[..] |
| |
|Saturday, July 26, 2008 |
|Ranking Modelsim Coverage results using Python for Speed? ! |
| |
|I have a problem with ranking tests at work -it just takes too long |
|and the 'obvious algorithm' should be much quicker. |
| |
| |
|The Task |
|I should explain that we use modelsim for simulating a processor |
|described in Verilog RTL and create PSL assertions and cover |
|statements to help with the verification. Periodically we run coverage|
|simulations and create coverage databases for each test that contains |
|the coverage information for each PSL cover or assert statement. |
| |
|[..] |
| |
|The Problem |
| We have a problem however with the Modelsim 'vcover ranktest' command|
| that we use to perform the ranking. It takes around ten hours to rank|
| ~5000 tests when we were hoping for around one hour. |
| |
|[..] |
| |
|My program, is 120 lines of Python and took a minute to run! |
| |
|[..]" |
|----------------------------------------------------------------------|
Congratulations.