SoC Verification (晶片系統驗證)

jianli8

<DIV class=O v:shape="_x0000_s1026">
<DIV ></DIV>
<DIV >
<B>【文件名】:06121@52RD_SoCVerification.rar</B>
<B>【格　式】:rar</B>
<B>【大　小】:779K</B>
<B>【简　介】:</B></DIV>
<DIV >
<DIV >Pao-Ann Hsiung (熊博安) </DIV>
<DIV >hpa@computer.org http://www.cs.ccu.edu.tw/~pahsiung/ </DIV>
<DIV >嵌入式系統實驗室 </DIV>
<DIV >國立中正大學資訊工程學系
<B>【目　录】:</B></DIV></DIV></DIV>


<DIV v:shape="_x0000_s1026">
<DIV class=O style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 216">nIntroduction 3 ~ 26 </DIV>
<DIV class=O style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 216">nFormal Verification 27 ~ 38 </DIV>
<DIV class=O1 style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 468">nModel Checking    39 ~ 73 </DIV>
<DIV class=O1 style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 468">nEquivalence Checking    74 ~ 83 </DIV>
<DIV class=O style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 216">nVerification Tools 84 ~ 86 </DIV>
<DIV class=O style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 216">nVerification Example:
Industrial Embedded SoC 87 ~ 98 </DIV>
<DIV class=O style="mso-line-spacing: '90 20 0'; mso-char-wrap: 1; mso-kinsoku-overflow: 1; mso-margin-left-alt: 216">nConclusion &amp; Future Work 99 ~ 100</DIV></DIV>
<P>
[UseMoney=5]

[/UseMoney]</P>

hent

<P>能否先告知是简体还是繁体</P>