Functional Rectification on Sequential Circuits by Liveness Model Checking Techniques
碩士 === 國立臺灣大學 === 電子工程學研究所 === 100 === Functional rectification has been an indispensable process in late VLSI design stages. Traditionally, functional rectification is achieved by various techniques on combinational circuits. It does not explore the flexibility of functional changes across the regi...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2012
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/94831661329443282757 |