Home > Community > Forums > Functional Verification > PSL Fairness Assertions

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 PSL Fairness Assertions 

Last post Tue, Jul 31 2007 11:05 PM by archive. 2 replies.
Started by archive 31 Jul 2007 11:05 PM. Topic has 2 replies and 1205 views
Page 1 of 1 (3 items)
Sort Posts:
  • Tue, Jul 31 2007 11:05 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    PSL Fairness Assertions Reply

    Hi.....

    What is fairness and starvation in verification and how i can check this fairness problems with assertions?

    Thanks


    Originally posted in cdnusers.org by vlsi_dude
    • Post Points: 0
  • Mon, Aug 20 2007 10:59 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: PSL Fairness Assertions Reply

    Hi:

    In PSL/SVA, there is a type of assertions called liveness assertion. Liveness assertion is very good to check fairness and starvation. Let me give a simple example. If you want to check for a round robin arbiter starvation, you can capture the assertion in English as "if channel A gets a request, it eventually needs to be granted". Then you can write assertion like:

    // psl reqA |-> eventually gntA;

    In SVA, reqA |-> ##[0:$] gntA;

    Does this make sense to you?

    Bin


    Originally posted in cdnusers.org by binju
    • Post Points: 0
  • Wed, Aug 22 2007 1:40 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: PSL Fairness Assertions Reply

    Thanks Bin

    I got it what i wanted to know.

    Thanks again


    Originally posted in cdnusers.org by vlsi_dude
    • Post Points: 0
Page 1 of 1 (3 items)
Sort Posts:
Started by archive at 31 Jul 2007 11:05 PM. Topic has 2 replies.