摘要
迁移关系的构建是基于BDD模型检验中的一个重要环节 ,而建立占内存尽可能小且运算高效的迁移关系一直是难点 ,通常做法是对迁移关系进行分割 提出一种的对按位分割后的迁移关系进行分组的方法 通过对IS CAS 89中时序电路的试验表明 。
In BDD-based model checking, it is a critical step to build a small and efficient transition relationship. An effective method is to partition it according to the bit of future state. The author proposed a strategy to group the partitioned transition relationship. The experiment conducted on the benchmark of ISCAS89 exhibits that our method is more effective under certain conditions.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2003年第9期1101-1104,共4页
Journal of Computer-Aided Design & Computer Graphics
基金
国家自然科学基金重点项目 ( 90 2 0 70 0 2 )
北京市科技重点项目(H0 2 0 12 0 12 0 13 0 )资助
