Loading...
Please wait, while we are loading the content...
Similar Documents
Term Ordering Problem on MDG (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Feng, Yi Cerny, Eduard |
| Description | As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) designs. However, in some cases, MDG-based verification suffers from the state explosion problem. Some of cases are caused by the standard order used by MDG to order cross-terms that have the same top-level function symbol. These terms usually label decision nodes and must be ordered. We call this kind of state explosion the standard term ordering problem. A solution based on function renaming and cross-term rewriting is proposed in this paper. Experimental results show that this solution can solve the problem completely and thus increase the range of circuits that can be verified by MDG. |
| File Format | |
| Language | English |
| Publisher Date | 2002-01-01 |
| Publisher Institution | In Proc. ACM 12th Great Lakes Symposium on VLSI |
| Access Restriction | Open |
| Subject Keyword | Mdg-based Verification Suffers State Explosion Function Renaming Register Transfer Level Top-level Function Symbol Order Cross-terms Automatic Hardware Verification Efficient Representation Cross-term Rewriting Extended Finite State Machine Standard Order Decision Node Experimental Result Multiway Decision Graph Standard Term State Explosion Problem Term Ordering Problem |
| Content Type | Text |
| Resource Type | Article |
