語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Register-transfer-level functional v...
~
University of California, Santa Barbara.
FindBook
Google Book
Amazon
博客來
Register-transfer-level functional verification techniques.
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Register-transfer-level functional verification techniques./
作者:
Huang, Chung-Yang.
面頁冊數:
125 p.
附註:
Chairperson: Kwang-Ting (Tim) Cheng.
Contained By:
Dissertation Abstracts International62-04B.
標題:
Engineering, Electronics and Electrical. -
電子資源:
http://pqdd.sinica.edu.tw/twdaoeng/servlet/advanced?query=3013215
ISBN:
9780493229737
Register-transfer-level functional verification techniques.
Huang, Chung-Yang.
Register-transfer-level functional verification techniques.
- 125 p.
Chairperson: Kwang-Ting (Tim) Cheng.
Thesis (Ph.D.)--University of California, Santa Barbara, 2000.
As the scale of the VLSI circuits grows into multi-million gates per chip, functional verification has become the largest bottleneck in the design process. In general, functional verification can be viewed as translating the high-level specification into temporal properties and using verification tools to validate the corresponding constraints of these properties. Traditional verification approaches like simulation and symbolic model checking are either suffered from the incompleteness in algorithms, limitation in capacity, difficulty in usage, or deficiency in performance.
ISBN: 9780493229737Subjects--Topical Terms:
626636
Engineering, Electronics and Electrical.
Register-transfer-level functional verification techniques.
LDR
:02825nam 2200289 a 45
001
858080
005
20100712
008
100712s2000 ||||||||||||||||| ||eng d
020
$a
9780493229737
035
$a
(UMI)AAI3013215
035
$a
AAI3013215
040
$a
UMI
$c
UMI
100
1
$a
Huang, Chung-Yang.
$3
1025107
245
1 0
$a
Register-transfer-level functional verification techniques.
300
$a
125 p.
500
$a
Chairperson: Kwang-Ting (Tim) Cheng.
500
$a
Source: Dissertation Abstracts International, Volume: 62-04, Section: B, page: 1987.
502
$a
Thesis (Ph.D.)--University of California, Santa Barbara, 2000.
520
$a
As the scale of the VLSI circuits grows into multi-million gates per chip, functional verification has become the largest bottleneck in the design process. In general, functional verification can be viewed as translating the high-level specification into temporal properties and using verification tools to validate the corresponding constraints of these properties. Traditional verification approaches like simulation and symbolic model checking are either suffered from the incompleteness in algorithms, limitation in capacity, difficulty in usage, or deficiency in performance.
520
$a
In this thesis, we propose a word-level Automatic Test Pattern Generation (ATPG) technique based on a new Extended Finite State Machine (EFSM) model to verify the assertion and witness properties for modern industrial designs. There are four major components in our framework: (1) an interface to a commercial Hardware Description Language (HDL) parser/logic synthesizer to transform the industrial designs into our internal data structures, (2) a word-level logic implication routine to derive the implications for both controller and datapath circuits and translate the learned information from one to the other, (3) an advanced Boolean justification technique which contains a novel dynamic decision variable reordering algorithm to solve the constraints in the controller circuit, and (4) an arithmetic constraint solver based on the modular number system to analyze the constraints in the datapath circuit.
520
$a
We have implemented the word-level ATPG algorithms as a framework and tested it on several benchmark and industrial designs. The experimental results show that our approach is very efficient in both runtime and memory usage, and is applicable to a broad class of designs. With this powerful constraint-solving engine, our RTL functional verification framework can also be used as the basis for many future research topics.
590
$a
School code: 0035.
650
4
$a
Engineering, Electronics and Electrical.
$3
626636
690
$a
0544
710
2
$a
University of California, Santa Barbara.
$3
1017586
773
0
$t
Dissertation Abstracts International
$g
62-04B.
790
$a
0035
790
1 0
$a
Cheng, Kwang-Ting (Tim),
$e
advisor
791
$a
Ph.D.
792
$a
2000
856
4 0
$u
http://pqdd.sinica.edu.tw/twdaoeng/servlet/advanced?query=3013215
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9072956
電子資源
11.線上閱覽_V
電子書
EB W9072956
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入