Reconstructing Cell Functions from Sequential Truth Tables Using Pattern Matching and Symmetries
碩士 === 國立臺灣大學 === 電機工程學研究所 === 104 === Unknown value (Xs) may exist in a design due to uninitialized registers or blocks that are powered down. Such Xs may cause X bugs known as X-pessimism and X-optimism. When we are solving X-pessimism problems, we have to trace along the fan-ins of a register&...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2016
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/65156231585544963114 |