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 |