Priciples of Verifiable RTL Design, 2nd Ed. by Lionel Bening & Harry Foster
比较早的介绍有关RTL Validation设计的宝典书籍，是原来HP的一位大牛撰写的！！你可以到作者的网站看看，有相关的本书的设计范例以及script下载！如果想使RTL设计非常的完美，保证你的后端设计一次成功的，这本书是不可缺少的。
只发现了在线阅读的网址。
http://www.doc88.com/p-718061200.html
如果谁有电子书的话，可以发给我一份吗？或者发到论坛上，
谢谢