|
|||||
|
|
| 基于模块的层次化模型判别 | |
| 引用本文： | 聂江波,边计年,薛宏熙,吴为民,朱明. 基于模块的层次化模型判别[J]. 微电子学与计算机, 2003, 20(12): 64-67 |
| 作者姓名： | 聂江波 边计年 薛宏熙 吴为民 朱明 |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084 |
| 基金项目： | 国家自然科学基金项目(90207017,60203011);国家973重点基础研究发展规划(G1998030403) |
| 摘 要： | 模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计，往往是由多个相互关联的部分组成，利用此特点，本文提出一种基于模块的层次化建模方法，通过对设计描述进行分析。并结合待验证的性质，达到提高模型判别器性能的目的。实验表明，用这种模型可以实现状态数的有效减少。 |
| 关 键 词： | 集成电路 设计 模块 层次化模型 模型判别 有限自动机 |
| 修稿时间： | 2003-05-07 |
Hierarchical Model Checking Based on Modules |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |