Who can share me some vera doc, especially some introduction

[atremp]

Who can share me some vera doc, especially some introduction.
Thanks a lot

 

[yaser123]

dear atremp
u can find in synopsys ftp link.
good luck

 

[rakko]

try this site.

**broken link removed**

 

[rakko]

tutorial document

 

[niko_zhang]

vera doc

vera doc

 

[nanako]

if u r taking abt the LRM it is free. u can get it at https://www.synopsys.com/

 

[petert]

New VERA DOC 6011

 

[saho]

Sources??

Hello.

Can you tell us where these documents are taken from?

If these are the user documents supplied by the Vera, then tell us! It is useless to us. We have it installed already.

Thank you.

Saho

 

[johnnyh]

Re

Verification of Vera Assertion

 

[auromira]

Re: Who can share me some vera doc, especially some introduc

find the attached docs