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

编号 zgly0000319123

文献类型 期刊论文

文献题名 模型检验中迁移关系的分组策略

作者 邵明  李光辉  李晓维 

作者单位 中国科学院计算技术研究所信息网络研究室  中国科学院研究生院 

母体文献 计算机辅助设计与图形学学报 

年卷期 2003,15(9)

页码 1101-1104

年份 2003 

分类号 TN402 

关键词 集成电路  设计  模型检验  迁移关系  分组策略  BDD模型 

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