|
|||||
|
|
| 模型检验中迁移关系的分组策略 | |
| 引用本文： | 邵明,李光辉,李晓维.模型检验中迁移关系的分组策略[J].计算机辅助设计与图形学学报,2003,15(9):1101-1104. |
| 作者姓名： | 邵明 李光辉 李晓维 |
| 作者单位： | 1. 中国科学院计算技术研究所信息网络研究室,北京,100080;中国科学院研究生院,北京,100039 2. 中国科学院计算技术研究所信息网络研究室,北京,100080;中国科学院研究生院,北京,100039;浙江林学院信息系,杭州,311300 3. 中国科学院计算技术研究所信息网络研究室,北京,100080 |
| 基金项目： | 本课题得到国家自然科学基金重点项目(90207002)和北京市科技重点项目(H020120120130)资助. |
| 摘 要： | 迁移关系的构建是基于BDD模型检验中的一个重要环节，而建立占内存尽可能小且运算高效的迁移关系一直是难点，通常做法是对迁移关系进行分割．提出一种的对按位分割后的迁移关系进行分组的方法．通过对ISCAS-89中时序电路的试验表明，该方法对其中部分电路是有效可行的． |
| 关 键 词： | 集成电路 设计 模型检验 迁移关系 分组策略 BDD模型 |
| 修稿时间： | 2002年7月25日 |
Strategy to Group Partitioned Transition Relationship in Model Checking |
|
| Shao Ming , Li Guanghui , Li Xiaowei.Strategy to Group Partitioned Transition Relationship in Model Checking[J].Journal of Computer-Aided Design & Computer Graphics,2003,15(9):1101-1104. | |
| Authors: | Shao Ming Li Guanghui Li Xiaowei |
| Affiliation: | Shao Ming 1,2) Li Guanghui 1,2,3) Li Xiaowei 1) 1) |
| 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. |
| Keywords: | model checking transition relationship BDD |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
