+ Post New Thread
Results 1 to 4 of 4
  1. #1
    Full Member level 4
    Points: 2,820, Level: 12

    Join Date
    Mar 2006
    Posts
    196
    Helped
    16 / 16
    Points
    2,820
    Level
    12

    verdi 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.

    •   AltAdvertisement

        
       

  2. #2
    Full Member level 4
    Points: 2,820, Level: 12

    Join Date
    Mar 2006
    Posts
    196
    Helped
    16 / 16
    Points
    2,820
    Level
    12

    verdi user

    pls help me!


    DAvid



    •   AltAdvertisement

        
       

  3. #3
    Member level 1
    Points: 1,457, Level: 8

    Join Date
    Apr 2006
    Posts
    40
    Helped
    7 / 7
    Points
    1,457
    Level
    8

    could not locate pstack

    verdi is nolonger to support PSL/OVA

    now trend is SVA.................

    all the best



    •   AltAdvertisement

        
       

  4. #4
    Advanced Member level 2
    Points: 4,734, Level: 16

    Join Date
    Sep 2004
    Location
    Bangalore, India
    Posts
    646
    Helped
    84 / 84
    Points
    4,734
    Level
    16

    verdi userguide

    Quote Originally Posted by quan228228
    pls help me!


    DAvid
    Maybe you can try using latest version. Does your FSDB already contain the PSL dumped?

    In anycase I agree with other poster, their PSL support is limited, direction seems to be more on SVA. Any special reason to use PSL and not SVA?

    Ajeetha, CVC
    www.noveldv.com
    sv-verif.blogspot.com



--[[ ]]--