bibliographic details
： 集成电路计算机辅助设计与验证算法
bibliographic information Machine-Readable Catalogue
| ISBN/价格： | 978-7-81099-784-3:CNY37.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 430000 |
| 题名责任者项： | 集成电路计算机辅助设计与验证算法/.陈吉华，郭阳，陈海燕编著 |
| 出版发行项： | 长沙:,国防科技大学出版社:,2010 |
| 载体形态项： | 230页:;+26cm |
| 一般附注： | 教育部“长江学者和创新团队发展计划”资助 |
| 提要文摘： | 本书分为六章，内容涵盖图与算法基础；模拟器内部结构与算法；形式验证方法；划分、布图规划和布局；布线与版图压缩等。 |
| 题名主题： | 集成电路 计算机辅助设计 |
| 中图分类： | TN402 |
| 个人名称等同： | 陈吉华 编著 |
| 个人名称等同： | 郭阳 编著 |
| 个人名称等同： | 陈海燕 编著 |
| 记录来源： | CN 91MARC 20130904 |
| 记录来源： | CN HUNN 20190419 |