基于模块的层次化模型判别

• 作者: 吴为民 朱明 聂江波 薛宏熙 边计年
• 来源期刊: 微电子学与计算机
• 关键词: 形式验证 模型判别 层次化模型
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 研究与应用
• 页码范围: 64-67
• 页数: 4页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2003.12.018

摘要

模型判别技术是验证时序电路的一种重要手段.使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的.实验表明,用这种模型可以实现状态数的有效减少.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	边计年	清华大学计算机科学与技术系	50	326	9.0	16.0
2	薛宏熙	清华大学计算机科学与技术系	15	93	6.0	9.0
3	吴为民	清华大学计算机科学与技术系	22	101	5.0	9.0
4	朱明	清华大学计算机科学与技术系	12	119	7.0	10.0
5	聂江波	清华大学计算机科学与技术系	1	1	1.0	1.0