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.
I have 3 books :
1-Prentice Hall Hardware Design Verification Simulation and Formal Method-Based Approaches
2-PrenticeHall - Design Verification With E
3-Kluwer-Writing Testbench - Functional Verification of HDL Models: 1st edition