| Short-Time Scaling of Variable Orderingof OBDDs |
| |
| 作者姓名： | Long Wangning Min Yinghua Yang Shiyuan Tong Shibai |
| |
| 作者单位： | [1]DepartmentofAutomation,TsinghuaUniversity,Beijing100084 [2]CADLaboratory,InstituteofComputingTechnologyC |
| |
| 摘 要： | A short-time scaling criterion of variable ordering of OBDDs is proposed.By this criterion it is easy and fast to determine which one is better when several variable orders are given,especially when they differ 10% or more in resulted BDD size from each other.An adaptive variable order selection method,based on the short-time scaling criterion,is also presented.The experimental results show that this method is efficient and it makes the heuristic variable ordering methods more practical.
|
| 关 键 词： | 电路设计 CAD Boolean函数 OBDD |
Short-time scaling of variable ordering of OBDDs |
| |
| Long Wangning,Min Yinghua,Yang Shiyuan,Tong Shibai.Short-Time Scaling of Variable Orderingof OBDDs[J].Journal of Computer Science and Technology,1997,12(4):366-371. |
| |
| Authors: | Wangning Long Yinghua Min Shiyuan Yang Shibai Tong |
| |
| Affiliation: | Department of Automation; Tsinghua University; Beijing 100084; CAD Laboratory; Institute of Computing Technology Chinese Academy of Sciences; Beijing 100080; |
| |
| Abstract: | A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10% or more in resulted BDD size from each other. An adaptive variable order selection method, based on the short-time scaling criterion, is also presented. The experimental results show that this method is efficient and it makes the heuristic variable ordering methods more practical. |
| |
| Keywords: | Boolean function logical verification ordered binary decision diagram (OBDD) OBDD variable ordering |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
