amba SVA(systemverilog assertion) constraint

[samuel]

Hi folks,
As we know, SVA is very useful in the verification of bus interface .
The quality of the SVA constraint file is the key of the assert based
verification.
Since amba being used more and more in the industry, it will be great
help to the verification if there are a set of SVA constraint files
for the AMBA bus i/f (ahb,axi,apb) .

So my questions whether there is this kind of SVA constraints existing
? Will ARM license to the customers or are there any thirdparty vendor
or opensource project about them ?

Rgds,

Samuel

 

[Hans]

"samuel" <samuelzhng@gmail.com> wrote in message
news:1166020044.281402.239850@j44g2000cwa.googlegroups.com...

Hi folks,
As we know, SVA is very useful in the verification of bus interface .
The quality of the SVA constraint file is the key of the assert based
verification.
Since amba being used more and more in the industry, it will be great
help to the verification if there are a set of SVA constraint files
for the AMBA bus i/f (ahb,axi,apb) .

So my questions whether there is this kind of SVA constraints existing
? Will ARM license to the customers or are there any thirdparty vendor
or opensource project about them ?

Not sure about opensource but there are a number of commercial products that
use assertions to check amba compliance, this is one of them:

http://www.saros.co.uk/amba/


Hans
www.ht-lab.com

Rgds,

Samuel

 

[naren]

Hi Samuel,
I'm Naren, Marketing manager of TooMuch Semiconductor Solutions,
based in bangalore www.toomuchsemi.com . We had been developing AHB and
related Master and Slave VIPs in System Verilog. We specialise both in
VMM & AVM methodologies.
We currently don't have a assertion VIP, but could surely do one for
you at a better cost. Please contact naren@toomuchsemi.com for more
details.
Thanks & Regards,
Naren.



samuel wrote:

Hi folks,
As we know, SVA is very useful in the verification of bus interface .
The quality of the SVA constraint file is the key of the assert based
verification.
Since amba being used more and more in the industry, it will be great
help to the verification if there are a set of SVA constraint files
for the AMBA bus i/f (ahb,axi,apb) .

So my questions whether there is this kind of SVA constraints existing
? Will ARM license to the customers or are there any thirdparty vendor
or opensource project about them ?

Rgds,

Samuel

 

[naren]

well, the mail id is naren AT toomuchsemi DOT com
Rgds,
Naren.

naren wrote:

Hi Samuel,
I'm Naren, Marketing manager of TooMuch Semiconductor Solutions,
based in bangalore www.toomuchsemi.com . We had been developing AHB and
related Master and Slave VIPs in System Verilog. We specialise both in
VMM & AVM methodologies.
We currently don't have a assertion VIP, but could surely do one for
you at a better cost. Please contact naren@toomuchsemi.com for more
details.
Thanks & Regards,
Naren.



samuel wrote:
Hi folks,
As we know, SVA is very useful in the verification of bus interface .
The quality of the SVA constraint file is the key of the assert based
verification.
Since amba being used more and more in the industry, it will be great
help to the verification if there are a set of SVA constraint files
for the AMBA bus i/f (ahb,axi,apb) .

So my questions whether there is this kind of SVA constraints existing
? Will ARM license to the customers or are there any thirdparty vendor
or opensource project about them ?

Rgds,

Samuel

 

[Ajeetha]

Hi,
We developed a light weight SVA (and PSL too) version during our SVA
book (see www.noveldv.com, www.abv-sva.org). In my company we have
expanded that to a much larger version that can be used in real
designs. Send me an email ajeetha <> gmail.com if interested.

HTH
Ajeetha, CVC
www.noveldv.com