Construct Binary Decision DiagrambyCofactor on Circuit Structure by Cofactor on Circuit Structure
碩士 === 國立臺灣大學 === 電機工程學研究所 === 95 === For a long time, the biggest problem on building BDD (binary decision diagram) is the complexity in time and space are exponential. Through many heuristics and the information from the original circuit, the peak memory usage and total operating time may be impro...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2007
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/02172803764961529350 |