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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 13120|回复: 54

Logic Synthesis and Verification Algorithms

[复制链接]
发表于 2008-2-26 13:25:53 | 显示全部楼层 |阅读模式

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

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

x
1996版的,找不到2006新版的电子版本
不过好像改动不多

1 of 7

Logic Synthesis and Verification Algorithms.part01.rar

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

 楼主| 发表于 2008-2-26 13:29:45 | 显示全部楼层
2 of 7

Logic Synthesis and Verification Algorithms.part02.rar

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

 楼主| 发表于 2008-2-26 13:32:01 | 显示全部楼层
3 of 7

Logic Synthesis and Verification Algorithms.part03.rar

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

 楼主| 发表于 2008-2-26 13:34:55 | 显示全部楼层
4 of 7

Logic Synthesis and Verification Algorithms.part04.rar

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

 楼主| 发表于 2008-2-26 13:37:31 | 显示全部楼层
5 of 7

Logic Synthesis and Verification Algorithms.part05.rar

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

 楼主| 发表于 2008-2-26 13:40:16 | 显示全部楼层
6 of 7

Logic Synthesis and Verification Algorithms.part06.rar

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

 楼主| 发表于 2008-2-26 13:42:47 | 显示全部楼层
7 of 7

Logic Synthesis and Verification Algorithms.part07.rar

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

 楼主| 发表于 2008-2-26 13:46:01 | 显示全部楼层
Editorial Reviews
Book Description
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
 楼主| 发表于 2008-2-26 13:57:04 | 显示全部楼层
Table of Content

temp.pdf

742.57 KB, 下载次数: 61 , 下载积分: 资产 -2 信元, 下载支出 2 信元

发表于 2008-2-28 08:49:25 | 显示全部楼层
楼主变态!!!!!火星人刚发过就来转发,什么意思哦,这里是你来做生意的地方吗!!!!??????
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-3-29 00:50 , Processed in 0.051361 second(s), 10 queries , Gzip On, Redis On.

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