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.
The best book on Vera is
'The art of verification with VERA', by Faisal Haque, Khizar Khan and Jonathan
Unfortunately soft copy of this does not exist!
Another good reference is Synopsys Vera training material