在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 6567|回复: 26

Applied Formal Verification - For Digital Circuit Design

[复制链接]
发表于 2007-12-25 23:13:50 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x

                               
登录/注册后可看大图



[size=120%]Applied Formal Verification
By Douglas L. Perry, Harry Foster


    Publisher:   McGraw-Hill Professional
    Number Of Pages:   240
    Publication Date:   2005-04-29
    ISBN-10 / ASIN:   007144372X
    ISBN-13 / EAN:   9780071443722
Binding:   Hardcover


Summary: Technical reading at it's best
Rating: 5

The thought of formal verification is dry at best. But in reading Applied Formal Verification the processes are re-introduced and focused on as fresh, clear cut practices. The examples are flawless and well delivered. A great read whatever your level of knowledge in D/I.

[ 本帖最后由 lotusky 于 2007-12-25 23:15 编辑 ]

[D L.Perry]Applied Formal Verification.pdf

1.22 MB, 下载次数: 294 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2007-12-25 23:27:33 | 显示全部楼层

这个月刚出的新书


                               
登录/注册后可看大图



[size=120%]The Compiler Design Handbook: Optimizations and Machine Code Generation, Second Edition
By Y.N. Srikant, Priti Shankar


  • Publisher:   CRC
  • Number Of Pages:   784
  • Publication Date:   2007-12-07
  • ISBN-10 / ASIN:   142004382X
  • ISBN-13 / EAN:   9781420043822
  • Binding:   Hardcover


Book Description:
Todays embedded devices and sensor networks are becoming more and more sophisticated, requiring more efficient and highly flexible compilers. Engineers are discovering that many of the compilers in use today are ill-suited to meet the demands of more advanced computer architectures.
Updated to include the latest techniques, The Compiler Design Handbook, Second Edition offers a unique opportunity for designers and researchers to update their knowledge, refine their skills, and prepare for emerging innovations. The completely revised handbook includes 14 new chapters addressing topics such as worst case execution time estimation, garbage collection, and energy aware compilation. The editors take special care to consider the growing proliferation of embedded devices, as well as the need for efficient techniques to debug faulty code. New contributors provide additional insight to chapters on register allocation, software pipelining, instruction scheduling, and type systems.
Written by top researchers and designers from around the world, The Compiler Design Handbook, Second Edition gives designers the opportunity to incorporate and develop innovative techniques for optimization and code generation.

[ 本帖最后由 lotusky 于 2007-12-25 23:35 编辑 ]

The Compiler Design Handbook Optimizations and Machine Code Generation 2nd Ed.part1.rar

4.43 MB, 下载次数: 83 , 下载积分: 资产 -3 信元, 下载支出 3 信元

The Compiler Design Handbook Optimizations and Machine Code Generation 2nd Ed.part2.rar

4.35 MB, 下载次数: 77 , 下载积分: 资产 -3 信元, 下载支出 3 信元

发表于 2007-12-26 03:30:32 | 显示全部楼层
thanks for your information......................
thanks.........................................................
发表于 2007-12-26 03:32:35 | 显示全部楼层
新年快乐。这几本书太棒了。
发表于 2007-12-26 08:39:00 | 显示全部楼层
谢谢分享...
发表于 2008-1-1 17:10:27 | 显示全部楼层
thank you..
发表于 2008-1-1 17:39:51 | 显示全部楼层
谢谢分享!
发表于 2008-4-9 14:08:01 | 显示全部楼层
YINGG该和经典摩尔定理一抹一样、\
发表于 2008-4-9 14:09:58 | 显示全部楼层
后一本要好的多了啊
发表于 2008-6-30 11:08:15 | 显示全部楼层
thanks
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-18 08:28 , Processed in 0.025207 second(s), 10 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表