模型检验中迁移关系的一种分组策略

摘要：

迁移关系的构建是基于BDD模型检验中一个重要环节,而建立一个占内存尽可能小的关系一直是一个挑战,通常的做法是对迁移关系进行分割,本文提出了一种的对分割后的迁移关系进行分组的规则,通过对ISCAS-89中时序电路的试验表明该方法对其中部分电路是有效可行的.

关键词： 模型检验 迁移关系 二叉判定图

作者: 邵明 李光辉 李晓维

作者单位: 中国科学院计算技术研究所(北京)

会议类型: 国内会议

会议名称: 企业信息化高级论坛全国第12届CAD/CG学术会议

会议地点: 贵阳

会议语种:中文

页码: 330-335

在线出版日期: 2002-08-20（万方平台首次上网日期，不代表论文的发表时间）