High Probability High Density State Traversal
碩士 === 國立交通大學 === 資訊科學系 === 89 === State traversal is a useful technique in hardware and software verification but suffers from state or BDD explosion problem. Although the High Density(HD) approach alleviates this problem, it has its potential limit in verifying com...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
2001
|
Online Access: | http://ndltd.ncl.edu.tw/handle/01416003683404802953 |