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