Innovative Verification and Synthesis Techniques for Achieving High-Quality SoC Designs
博士 === 國立臺灣大學 === 電機工程學研究所 === 98 === The increasing popularity of System-on-Chip (SoC) circuits results in many new design challenges. One major challenge is to ensure the functional correctness of such complicated circuits. While most existing verification techniques work well at the Register Tran...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
2010
|
Online Access: | http://ndltd.ncl.edu.tw/handle/01531187931033578166 |