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

## Email

Recipients email * (separate multiple addresses with commas)

Message *

 Send yourself a copy

## Subscribe

Intro copy of the newsletter section here, some intro copy of the newsletter. Instruction of how to subscribe to this newsletter.

First Name *

Last Name *

Email *

Company / Institution *

 Send Yourself A Copy

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 and 2386 views
• #### Mon, Mar 26 2012 2:37 AM

• jxker
• Joined on Tue, Mar 13 2012
• beijing, Beijing
• Posts 13
• Points 140
 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
• Joined on Sat, Jun 12 2010
• Posts 12
• Points 135
 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
• Joined on Tue, Mar 13 2012
• beijing, Beijing
• Posts 13
• Points 140
 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
• Joined on Sat, Jun 12 2010
• Posts 12
• Points 135
 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
• Joined on Tue, Mar 13 2012
• beijing, Beijing
• Posts 13
• Points 140