节点文献

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

Strategy to Group Partitioned Transition Relationship in Model Checking

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 Shao Ming 1,2) Li Guanghui 1,2,3) Li Xiaowei 1) 1)(Laboratory of Network Information, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080) 2)(Graduate School of the Chinese Academy of Sciences, Beijing 100039) 3)(Department of Information, Zhejiang Forestry College, Hangzhou 311300)

【机构】中国科学院计算技术研究所信息网络研究室；浙江林学院信息系北京100080；中国科学院研究生院；北京100039；北京100080；北京100039；浙江林学院信息系；杭州311300；杭州311300；

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

【Abstract】 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.更多还原

【关键词】模型检验；迁移关系；二叉判定图；
【Key words】 model checking； transition relationship； BDD；

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

【文献出处】计算机辅助设计与图形学学报 ,Journal of Computer Aided Design & Computer Graphics , 编辑部邮箱 ,2003年09期

【分类号】TN402
【被引频次】16
【下载频次】77

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献