一種多狀態為基礎的方法來進行可達性分析
碩士 === 國立清華大學 === 資訊工程學系 === 96 === Reachability analysis is an important step in formal verification, synthesis, and testing of sequential circuits. Symbolic algorithms that represent state sets and perform image computation by binary decision diagram (BDD) have been developed for more than one dec...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Online Access: | http://ndltd.ncl.edu.tw/handle/72861087650510181462 |