Vera Tools..Please help

Hello,

I am learning Vera language and functional verification itself, I
bought a book "Art of Verification with Vera". Now I have come across a
problem.

How would I compile the examples given in the book. The book does not
come with any free tools to compile whats in the book but it talks
about the Vera tool.

Are there any free (OR) free trial version tools that I can use?

Please help. Any help or direction would be really apreciated.

Thank you very much
-Venkat

 

[EdA]

Best bet is to send email to Synopsys and request an eval license or
educational license.

/Ed

 

[Ajay]

Please contact vera_support@synopsys.com

-Ajay

junnuthula@yahoo.com wrote:

Hello,

I am learning Vera language and functional verification itself, I
bought a book "Art of Verification with Vera". Now I have come across
a
problem.

How would I compile the examples given in the book. The book does not
come with any free tools to compile whats in the book but it talks
about the Vera tool.

Are there any free (OR) free trial version tools that I can use?

Please help. Any help or direction would be really apreciated.

Thank you very much
-Venkat