MARC状态：已编 文献类型：中文图书 浏览次数：62
- 题名/责任者:
- 数字电路的仿真与验证/潘中良编著
- 出版发行项:
- 北京:国防工业出版社,2006
- ISBN及定价:
- 7-118-04719-8/CNY32.00
- 载体形态项:
- 249页:图, 肖像;26cm
- 个人责任者:
- 潘中良 编著
- 学科主题:
- 数字电路-计算机仿真
- 中图法分类号:
- TN79
- 书目附注:
- 有书目 (第246-249页)
- 提要文摘附注:
- 在数字电路的设计过程中，仿真与验证是一个重要的环节，它能检查所设计的电路是否符合要求。本书系统介绍了数字电路仿真与验证的原理与主要方法。全书共11章，内容包括：VLsI设计的方法与基本流程；电路的逻辑功能模型、结构模型、层次模型等的建立方法；数字电路的逻辑仿真、高层次仿真、开关级仿真；模型检验；组合电路验证；时序电路验证；系统芯片SOC的验证；对逻辑布尔函数或逻辑电路进行有效表示与操作的二元判定图BDD的结构、性质及其在电路的综合、验证中的应用。
全部MARC细节信息>>
9楼南电信软件工程借阅室