Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

SVA: property to check number of ack equals number of req

Status
Not open for further replies.
S

seow

Newbie level 2
Joined
Sep 22, 2004
Messages
2
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
14
Hi,

I'm currently trying to verify an arbiter using SVA. Can anyone here enlighten me on how to write an assertion property to check that for every req made, an ack has been generated? Thanks very much in advance.

Seow
 

Re: SVA: property to check number of ack equals number of re

seow said:
Hi,

I'm currently trying to verify an arbiter using SVA. Can anyone here enlighten me on how to write an assertion property to check that for every req made, an ack has been generated? Thanks very much in advance.

Seow
Click to expand...

Fairly straight forward if you have a requester ID. Before I give the code, if you use VCS, try and use the SVA checker lib element assert_req_ack_unique - precisely what you are looking for.

Let me know if you need more help! In my company we've done this with PSL, OVL, SVA and with Formal and simulation technologies.

Ajeetha, CVC
www.noveldv.com
 

Status
Not open for further replies.

Similar threads

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top