Variable Ordering Optimization for OBDD
碩士 === 大葉大學 === 資訊工程學系碩士班 === 92 === OBDD (Ordered binary decision diagrams) is the most popular data structure for Boolean function representation in modern logic synthesis/verification EDA tools. It is obvious that the variable ordering is the key factor for reducing the size (nodes) of an OBDD. T...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2004
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/37036053904783361877 |