Few More Verilogs

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