Verification

Design Verification with e
By Samir Palnitkar
http://rapidshare.com/files/39930690/designe.rar


Functional Verification of Programmable Embedded Architectures
By Prabhat Mishra
http://rapidshare.de/files/10075962/Functional.Verification.of.Programmable.Embedded.Architectures.rar


Password:ebooksatkoobe
Verification and Validation of Rule-Based Expert Systems
By Suzanne Smith
http://mihd.net/b8m1ed


Real-Time Systems Scheduling, Analysis, and Verification
By Albert M. K. Cheng
http://mihd.net/zo7mve


Advanced Formal Verification
By Rolf Drechsler
http://rapidshare.com/files/10686379/RDrechsler.rar
Password: www.AvaxHome.ru


Professional Verification A Guide to Advanced Functional Verification
By Paul Wilcox
http://rapidshare.de/files/28893785/1402078757.zip


Co-verification of Hardware and Software for ARM SoC Design
By Jason Andrews
http://rapidshare.com/files/27661673/Elsevier.Co-verification.of.Hardware.and.Software.for.ARM.SoC.Design.pdf-0750677309.pdf


The e-Hardware Verification Language
By Sasan Iman Sunita Joshi
http://rapidshare.com/files/1502509/Kluwer.Academic.The.E.Hardware.Verification.Language.rar

Verilog

The Complete Verilog Book
By Vivek Sagdeo
http://mihd.net/yfkzxv


Design Through Verilog HDL
By T. R. Padmanabhan
http://mihd.net/tiq7z2


Verilog Coding for Logic Synthesis
By Weng Fook Lee
http://mihd.net/3yw8z9


Verilog (Golden Reference Guide)
http://mihd.net/ocquta


Verilog HDL 2nd Edition
By Samir Palnitkar
http://mihd.net/r01wld


The Verilog Hardware Description Language
By Donald E. Thomas
http://mihd.net/qypxvr


Verilog Digital System Design
By Zainalabedin Navabi
http://mihd.net/4evuoi


Verilog Frequently Asked Questions: Language, Applications and Extensions
By Shivakumar Chonnad
http://mihd.net/jghl80


The Designer's Guide to Verilog-AMS
By Ken Kundert
http://mihd.net/rtl17q


Principles of Verifiable RTL Design Second Edition
By Lionel Bening
http://mihd.net/ifyagw



SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
By Stuart Sutherland
http://mihd.net/dqthpb


SystemVerilog for Verification A Guide to Learning the Testbench Language Features
By Chris Spear
http://mihd.net/kbvgu2


Writing Testbenches using SystemVerilog
By Janick Bergeron
http://rapidshare.com/files/32911671/WTSV.rar

VHDL and Verilog Ebooks

In my earlier posts i have posted some Ebooks on VHDL and Verilog. You can get them by just clicking on VHDL ,Verilog or Ebooks Tag.

These are some more Ebooks on VHDL and Verilog. Please inform me if you need any specific Ebook.

Circuit Design with VHDL
MIT Press
http://rapidshare.com/files/11259571/Circuit..Design..with..VHDL..-..MIT..Press.rar



VHDL Programming by Example - 4th ed
http://rapidshare.com/files/11257526/VHDL..Programming..by..Example..-..4th..Edition.rar



Verilog HDL Reference Manual
http://rapidshare.com/files/31464737/Verilog_Hardware_Description_Language_Reference_Manual__LRM_.pdf



Verilog HDL - A Guide To Digital Design
2nd Edition 2003
http://rapidshare.com/files/31462706/Prentice_Hall_-_Verilog_HDL_-_A_Guide_To_Digital_Design_And_Synthesis_-_2nd_Ed_2003.chm



The Verilog HW Description Language
http://rapidshare.com/files/11257971/The..Verilog..Hardware..Description..Language.rar