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

作     者：邵明 李光辉 李晓维 

作者机构：中国科学院计算技术研究所信息网络研究室 浙江林学院信息系杭州311300 

基　　金：国家自然科学基金重点项目 ( 90 2 0 70 0 2 ) 北京市科技重点项目(H0 2 0 12 0 12 0 13 0 )资助 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2003年第15卷第9期

页      码：1101-1104页

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

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

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2003.09.011

馆 藏 号：203248620...