|
■ 本書特色
9 @0 X& p& j" b% N5 G: ? A0 Z+ z. w6 V4 I. G1 Y4 r8 H
1. 本書以SystemC來說明VLSI的新設計型式,並將JPEG編碼器為對象來解說SystemC的系統開發範例。2 R0 j- u4 ^1 S( j1 N: W
2. 本書除了說明SystemC的程式語法外、也清楚的將模型描述方法、SystemC模擬驗證方式以及行為合成的使用方式,由淺入深的說明,使讀者更容易掌握現念。
7 G x8 ]$ z O M. N" D/ x, N- u) Z: k
■ 內容簡介
# W( j# x$ [1 f5 n3 `) s
( ^ r( Y" o9 w! z) i; e' \$ Z2 o8 o) c本書是使用SystemC來說明新式VLSI的設計方法,SystemC描述VLSI系統,是以單一模擬核心,高速驗證系統整體,此行為自動產生硬體之新設計型式,本書在說明SystemC的程式語法、模型的描述方式、SystemC的模擬驗證方法、行為合成的使用方法後,再以JPEG編碼器為對象來解說SystemC的系統開發範例,而本書內的JPEG設計範例是由東京大學大型積體系統設計教育研究中心、Cadence股份公司、Synopsys股份公司以及日本Motorola股份公司協力完成。適合對C++及VLSI設計有興趣的人士使用。; R" E8 `* Z4 z% p5 v" U% y9 G3 N
" V2 n% v; H- |) L& q' j- a# o$ y
2 N$ u* K- Y# `/ ?
■ 目錄
; X) y, X T, d! D2 F; V+ ~
A$ L- I7 d+ {第1章 C語言設計概要
' H# U! J) n4 \; m5 R6 X0 w( [ V1.1 C語言設計普及的背景1-1
7 E# `3 Z3 x H7 }8 e0 ~, N1.2 何謂C語言設計1-3
; U- ]+ R* p' t8 {5 e0 X) C5 H1.3 C語言設計的優點1-5
- x: S* ^6 F2 g6 w; l9 ?1.4 SystemC概要1-7
Z- U4 e0 T5 `4 M3 \第2章 以例子概略說明
; |% l: [6 q8 Z2 I2.1 顏色轉換電路概要2-1: S; h9 i B8 a: ~" D
2.2 以C/C++描述運算法則2-2
4 `* i1 j; [* J/ D" @0 N- C; A% ]2.3 以SystemC描述UTF模型2-7
& s. A8 W) f( V' W6 Q- E( i" K2.4 UTF模型驗證2-14
: {' F* v' ^2 R n1 D2.5 以SystemC描述BCA模型2-15) W- m) O. s6 w' ?
2.6 BCA模型的驗證2-19; C) Q: A4 E0 m% x# C7 o
2.7 行為合成2-25" f* x0 U0 t+ M/ q9 n
2.8 RTL模型的驗證2-27# j$ I3 S b2 E, S; c) f9 A
第3章 SystemC語法
: p" E: m- X% ~ `9 P; m3.1 模組/SC_MODULE3-13 G" z0 C) `# b1 w3 \/ ?3 o6 I
3.2 埠,通道,事件3-4: ? A7 U" H1 ^9 s
3.2.1 訊號埠,訊號/sc_in,sc_inout,sc_out, sc_signal3-4
8 a& o. C* g$ | F3.2.2 FIFO埠,FIFO/sc_fifo_in,sc_fifo_out, sc_fifo3-8
+ O Z8 N" o* i1 R1 I3.2.3 事件/sc_event3-11
. L' V7 i- B% s& J1 S3.3 型式,運算子3-13/ Q2 E% q+ K7 m) O) n$ J" R) C! u
3.4 行程/SC_THREAD,SC_CTHREAD,# G5 a! a* N) I3 F
SC_METHOD3-16( L$ Q; m7 p+ V+ [* N+ ?0 H" @
3.5 範例3-22
# a( o2 `! P+ A$ g第4章 以SystemC描述電路. d! y" \3 q. I
4.1 模型的抽象描述方法4-1* ?# W. v5 {# m
4.1.1 UTF(無計時函數)階層4-2/ Y7 y7 M. I5 f4 O/ M( d
4.1.2 TF(計時函數)階層4-55 ~. @# ^8 J6 Z/ {
4.1.3 BCA(匯流排循環準確)階層4-63 t" W S. p3 B! L7 X: \; N! f
4.1.4 CA(循環準確)階層4-91 K: Q8 X2 H* k
4.2 微分濾波器的電路描述4-11
" n# _( e. `* L5 |4 U/ f* `1 U8 M4.2.1 微分濾波器概要4-11# h6 F; u) J8 P( D: O
4.2.2 SystemC模型的濾波器結構4-132 {- W" P7 _" b( j4 r
4.2.3 UTF描述4-14
1 ~3 }( I4 {: }2 _4.2.4 TF描述4-17
" \+ ]' V. R5 R9 c( Q, {4.2.5 BCA描述4-19 D7 N% r% n0 J" ^
4.2.6 CA描述4-23
# P* F& {- @. p2 s6 T4.2.7 階層描述4-29
2 [) s( F* S- b4 M第5章 驗 證
2 w# G* d8 Z+ J1 X% v5.1 SystemC主要函數的描述方法5-1
* d- `, B2 @3 u1 k% v% m4 O' A5.1.1 SystemC主要函數/sc_main()5-1
4 E0 b3 B4 M) \ c5.1.2 時間精度設定/ sc_set_time_resolution()5-30 h" U* t4 T$ d
5.1.3 時間單位設定/sc_set_default_time_unit()5-4
) |) k7 k' H# }9 W! I5 H2 J2 Z, V5.1.4 時脈宣告/sc_clock()5-4+ Z' v) M8 W- X5 P6 S
5.1.5 軌跡/sc_trace()5-5
. h5 `$ P; j% U( U. k w5.1.6 模擬控制/sc_start(),sc_stop()5-5
[3 u1 z+ s: B% W3 c9 n+ z% W5.1.7 模擬時間/sc_time_stamp(),sc_simulation_time()5-6
: r. l2 ?1 N: N5 p5.2 模擬順序5-70 t0 c7 b, a3 d: Z i! z, H, b }
第6章 行為合成, T9 ^/ v! `8 E
6.1 行為合成概要6-1& h/ O. C( ^ a+ `( P- k7 b4 F
6.1.1 何謂行為合成6-1
1 a5 A* q$ g4 ?! M6 G6 v; V6.1.2 邏輯合成和行為合成的差異6-2- U+ @# {: u8 S! e
6.1.3 行為合成的優點6-43 K; k0 S# \" ?1 k
6.2 行為合成的處理內容6-7$ I5 E% D- K+ r+ S. e% u. W
6.2.1 輸出入關係6-7* b# r0 }* Y& X, ]
6.2.2 行為合成可能的描述6-81 j6 l! T1 b3 W( j
6.2.3 輸出RTL結構6-10
5 ^& T! E5 {6 z- x' j9 K6.2.4 行為合成中進行事項6-11
# [: Z" R7 v5 R6 H. v Q4 K! L6.3 使用行為合成的設計流程6-15. L6 x4 ~2 h& Y& _9 p, D: Q, O9 s
6.3.1 硬體規格的決定6-15
5 Y; A( r9 l% J1 C4 M E1 N6.3.2 行為合成可能模型的描述6-168 @& O7 V+ t1 E* ?2 @: G; |% L* O3 M
6.3.3 測試環境形成╱行為合成前驗證6-17) x2 t4 P7 A: x/ }2 K" C/ Z
6.3.4 進行行為合成6-17# f9 h9 N6 F+ w! i; d
6.3.5 行為合成後驗證6-17
$ O* I3 G/ P% K, g9 \6.4 如何使行為合成成功6-184 s7 d3 m' C$ r, v1 [; x; r; I
第7章 JPEG Codec的設計
' ]7 |6 d1 x: \7.1 JPEG概要7-1) g. P3 i: T# p6 ]- X
7.1.1 何謂JPEG7-12 n/ v' q3 q6 U4 e) u/ L
7.1.2 JPEG基本方式7-3
6 b6 q( C. ], v7.1.3 編碼,解碼例子7-4
% ]+ m0 r. e9 ]6 K( g, H7.1.4 DCT/逆DCT7-5
/ O0 u+ x+ `! O& h7.1.5 數位化╱反數位化7-7. U+ o& I5 s0 Z
7.1.6 熵編碼╱熵解碼7-85 Y6 t3 Y$ \4 _9 A2 B4 D, _
7.2 運算法則描述7-102 C6 s M% b5 o* n
7.2.1 IJG的JPEG編碼解碼器7-10# t' P2 _+ c( c# x. F* D: V0 s% E4 _
7.2.2 JPEG編碼程式概要7-11
7 X, U! H/ l% i7.2.3 函數構成和資料結構7-14
( n) S/ `$ d5 c# e+ c0 I& ?: g7.2.4 源程式的說明7-16
; M; t4 \' i; Y# Z2 j5 V7.2.5 DCT運算法則最佳化7-20
& \ k1 L, E9 J8 X! ~: W1 ]7.3 SystemC描述7-27
6 M7 d( S8 t8 G7.3.1 模型構成7-27, ^0 p$ M, [# L2 Q. k
7.3.2 檔案結構7-29& H5 G* g, B E8 M; ]6 [
7.3.3 源程式說明7-30
: O6 z+ ^! b: `" w% g8 T h3 s7.4 驗 證7-402 {% ]- ~0 U0 G# z
7.5 行為合成7-419 e% f5 l) v0 ?7 a6 a
7.6 FPGA操作確認7-42
# G1 ^* t0 F! F" _- o# _- z2 d7.6.1 設計流程7-42
- W" g. d+ h' |( x$ C% L$ |# G7.6.2 RTL驗證7-43
9 j# S9 C+ C$ M' [7.6.3 邏輯合成結果7-44. E5 S1 M: l: y$ N) v2 O/ j
7.6.4 佈局連線結果7-46
, D* S; e t6 W& j7.6.5 FPGA架構,操作確認7-47/ S) j* L4 p7 n
附 錄
& n ~% i, U" i3 p I參考書目
. }/ V8 {" c, y索 引 |
|