打印

[电子工程] Hardware Design Verification: Simulation and Formal Method-Based Approaches

Hardware Design Verification: Simulation and Formal Method-Based Approaches

Hardware Design Verification: Simulation and Formal Method-Based Approaches

book 收藏 
 作者 William K. Lam, Sun Microsystems
 ISBN 0-13-143347-4
 出版日期/版本 March 03, 2005
 格式 CHM 已编译的HTML帮助文件

主题内容

As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today's most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.
Tomorrow is another day!

TOP

没有传上来呢,楼主!!!

TOP

什么啊年轻人做人要厚道

TOP

什么意思啊我还等着看呢

TOP

thanks a lot!!!!!!!!

TOP

thanks a lot

TOP

好书啊,谢楼主了,正需要呢.

TOP

好象我哪儿见过。谢谢了。

TOP

哪里下载啊 没看到啊

TOP

好像没有下载链接啊,晕倒

TOP

dongxi ne?

TOP

怎么什么都没有啊?什么意思

TOP

没有下载链接啊?????????

TOP

定啊,啥时候上传呢?

TOP

多谢楼主分享!!!!!!!!!!!

TOP

Copyright © 2003-2008 iTePub Online Services. All Rights Reserved.
Template Designed by iTePub. Optimized For 1024x768 to Firefox,Opera And MS-IE6.