quan228228
Joined: 23 Mar 2006
Posts: 214
Helped: 13
|
 19 Mar 2008 9:08 Verdi, debug with PSL assertion ? |
|
|
|
I do PSL assertion evaluation following verdi user guide like below.
After these, the verdi told me the information like below.
catch signa 11
------------------------
Could not locate pstack .... stack trace no available
------------------------
branchName=2007.04 cn| Date=04/05/2007 cn|Env=Linux.)
.....
------------------------
[4] Segementation fault verdi (core dumped)
What the information means? why the assertion evaluator can not generate an FSDB file containing the assertions and design signals?
Thanks in advance!
David
this the picture i capture when generating fsdb file.
|
|
