论文部分内容阅读
模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。
基于模块的层次化模型判别
【摘 要】
：
模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
微电子学与计算机
【发表日期】
：
2003年12期
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
其他文献
随着计算机网络的迅速发展,网络安全问题正变得日益重要.文章介绍了计算机网络系统IP层安全概况和入侵者对IP层常采用的入侵手段,以及为防止这种入侵所采取的措施.
文章以龙树脚断裂为例,系统分析了个旧南部地区含矿断裂带的空间展布特征以及矿体和成矿元素在断裂带中的分布特征.提出在含矿断裂带走向和倾向的波状起伏部位、含矿元素分布