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

摘要：

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

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

所属期刊栏目：15

分类号：TP331(计算技术、计算机技术)

资助基金：国家自然科学基金90207002;北京市科研项目H020120120130

在线出版日期：2003-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1101-1104