书目详细信息
： 集成电路计算机辅助设计与验证实践
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-81099-785-0:CNY39.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 430000 |
| 题名责任者项： | 集成电路计算机辅助设计与验证实践/.陈海燕[等]编著 |
| 出版发行项： | 长沙:,国防科技大学出版社:,2010 |
| 载体形态项： | 292页:;+26cm |
| 一般附注： | 教育部“长江学者和创新团队发展计划”资助 |
| 提要文摘： | 本书从设计实践的角度揭示EDA工具使用的方法和技巧，内容涉及集成电路设计流程、硬件描述语言Verilog、数字电路的描述技巧、综合与综合工具、模拟工具及其运用、形式验证工具及其运用、物理设计、静态时序分析等。 |
| 题名主题： | 集成电路 计算机辅助设计 |
| 中图分类： | TN402 |
| 个人名称等同： | 陈海燕 编著 |
| 记录来源： | CN CQDZ 20221224 |