Home > Community > Forums > Functional Verification > question about transition coverage

Email
* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

Cadence Contacts

Global Office Locator
Find Offices worldwide »

Sales Inquiry
Request for Product information »
Cadence Channel Partners »

Corporate Headquarters
Cadence Design Systems, Inc.
2655 Seely Avenue
San Jose, CA 95134
Phone: 408.943.1234
* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 question about transition coverage 

Last post Mon, Mar 26 2012 6:45 PM by jxker. 4 replies.
Started by jxker 26 Mar 2012 02:37 AM. Topic has 4 replies.
Page 1 of 1 (5 items)
Sort Posts:

  • Mon, Mar 26 2012 2:37 AM

    • jxker
    • Not Ranked
    • Joined on Tue, Mar 13 2012
    • beijing, Beijing
    • Posts 13
    • Points 140
    question about transition coverage Reply

    Hi, all:

    I have a question about transition coverage.

    I have two variables, A and B, A and B both have several values. If I want to do transition coverage on the condition below:

    bins[ ]  trans_cov: A(i) => A(i+1) iff ( B(i) <= B(i+1) ),  this means only when B changes to a larger value, I will do the transition coverage.

    How should I realize it?

    Thank you.
    • Post Points: 20

  • Mon, Mar 26 2012 6:27 PM

    • yongchen
    • Not Ranked
    • Joined on Sat, Jun 12 2010
    • Posts 12
    • Points 135
    Re: question about transition coverage Reply

    Hi,

    could you use condition "B(i)<=B(i+1)" to generate an event and use this event to trigger your coverage? 

     
    • Post Points: 20

  • Mon, Mar 26 2012 6:39 PM

    • jxker
    • Not Ranked
    • Joined on Tue, Mar 13 2012
    • beijing, Beijing
    • Posts 13
    • Points 140
    Re: question about transition coverage Reply

    Hi yongchen,

    B(i) and B(i+1) are the same variable, but in two different time. According to you advise, I need to redord the previos value of B. Am I right?
    • Post Points: 20

  • Mon, Mar 26 2012 6:42 PM

    • yongchen
    • Not Ranked
    • Joined on Sat, Jun 12 2010
    • Posts 12
    • Points 135
    Re: question about transition coverage Reply

    Hi Jxker,

    I think record the previous value of B is helpful to finish this task.

    • Post Points: 20

  • Mon, Mar 26 2012 6:45 PM

    • jxker
    • Not Ranked
    • Joined on Tue, Mar 13 2012
    • beijing, Beijing
    • Posts 13
    • Points 140
    Re: question about transition coverage Reply

    Hi yongchen,

    Thank you.
    • Post Points: 5
Page 1 of 1 (5 items)
Sort Posts:
Started by jxker at 26 Mar 2012 02:37 AM. Topic has 4 replies.