新書推薦:
《
从零开始·复古娃衣制作书
》
售價:NT$
449.0
《
民主崩溃的政治学(精装版)
》
售價:NT$
423.0
《
交易撮合者:私募股权的经验与教训(泰丰资本创始人葛涵思投资秘籍!)
》
售價:NT$
403.0
《
最美世界名画(顾爷十三年匠心之作。超大开本;精美刷边;4米长海报;藏书票)
》
售價:NT$
3407.0
《
侧耳倾听
》
售價:NT$
203.0
《
神医嫡女·2
》
售價:NT$
254.0
《
近世闻人掌故
》
售價:NT$
347.0
《
余华长篇小说全集(共6册)
》
售價:NT$
1785.0
|
內容簡介: |
電路設計小型化和系統化是未來的趨勢,傳統電路層級的設計已不能滿足複雜化和小型化的要求,新一代的SystemVerilog一經提出,便已受到廣大的關注,在短短的幾年內,便得到所有EDA大場的全力支持,而且也得到IEEE認可為新的標準,做為IC設計的第二大國,我們不能忽視這個潮流。藉由本書大量的範例,可增加演練的機會,相信一定能提升電路設計的能力。本書適用於大學、科大電子、電機、資工系「硬體描述語言」並且使用Verilog之課程使用。
本書特色:
1.使用SystemVerilog程式語言
2.內容詳細介紹SystemVerilog語法敘述,是不可缺少的工具書
3.本書附上大量範例,讓讀者從實例中學習,且應用於系統當中
|
目錄:
|
第1章overview
發展歷史1-1
EDA工具的支持進度1-3
SystemVerilog的特性1-3
SystemC1-11
第2章Verilog2001
回顧Verilog20012-1
Registerchangedto“variable”2-4
$ferror2-68
$fflush2-69
$fgetc2-70
$fgets2-72
$fread2-74
$fscanf2-76
$fseek2-77
第3章DataType
資料型態3-1
autovariablevsstaticvariable3-1
Constant3-6
Scopeandlifetime3-8
Netsandregs3-12
State3-16
2-Statedatatype3-17
logicdatatype3-18
Voiddatatype3-19
Stringdatatype3-20
Stringoperators3-22
Stringmethod3-25
Eventdatatype3-29
Userdefineddatatype3-30
Enumeratedatatype3-31
Enumeratedtyperanges3-34
Enumeratedtypesinnumericalexpressions3-35
Enumerationmethod3-37
PackvsUnpacked3-39
Structures3-40
PackedUnpackedstructures3-45
PackedUnion3-46
Casting3-50
Dynamiccasting3-55
Array3-57
IndexingandslicingofArray3-59
Arrayfunction3-61
Dynamic-array3-63
Associative-array3-64
Queue3-67
Queuefunction3-70
第4章Operator
Operatorandexpression4-1
Assignmentoperator4-2
Wildcardequalityandinequalityoperators4-7
Uniaryoperator4-12
binaryoperator4-13
Staticprefixes4-16
Concatenation4-18
Struct4-20
Setmembership4-22
第5章Procedural&Control
Procedural&Control5-1
Selectionstatements5-2
Loopstatements5-3
disableblock5-9
nameblocks5-11
return5-12
foreach5-14
final5-15
eventcontrol5-16
forkjoinforkjoin_nonefork_join_any5-21
waitforkdisablefork5-25
Synthesisconvenient5-25
第6章Tasksandfunctions
Tasksandfunctions6-1
忽略beginend6-4
SystemVerilogfunction6-5
Passbyvalue6-8
Passbyreference6-9
Passbyname6-12
Self-defineddatatypetaskorfunctions6-13
第7章Interface
Interface7-1
Namebundlevsgenericbundle7-8
Interfacereference7-11
Portsinreference7-11
Modports7-14
Parameters7-20
第8章Class
OOPObjectOrientedProgramming8-1
class8-2
constructors8-4
objectmethod8-4
assignment8-11
staticclassproperties8-13
This8-16
inheritance8-17
overriddenmembers8-19
super8-20
Datahidinglocal8-21
Datahidingprotected8-21
virtualclass8-23
第9章RandomConstraints
RandomConstraints9-1
randomizewith9-4
distribution9-6
functioninconstraints9-7
randinclass9-8
Inheritance9-12
Implication-9-17
Randomweightedcaserandcase9-22
$urandomand$urandom_range9-25
rand_mode9-27
constraint_mode9-27
第10章Coverage
驗證Coverage10-1
覆蓋率Coverage10-2
Covergroup10-4
Coverpoints10-5
Coveragebins10-8
Crosscoverage10-15
Covergroupguard10-16
Specifycoverageoptions10-18
covergroupparameters10-19
ignorebins10-21
illegalbins10-22
第11章Assertions
Assertionverification11-1
Sequencedeclarations11-3
Uprangesign11-4
ImplicationOperators11-10
Consecutiverepetition11-11
Non-consecutiverepetition11-13
Gotorepetition11-15
Andoperation11-19
ORoperation11-24
Samplevaluefunction11-28
Conditionoversequence11-28
Intersectoperator11-35
first_matchoperator11-40
序列裏含匯流排資料11-43
Assertion11-44
Property11-45
附錄
A.1SYNOPSYSVCS附-1
A.2.1CadenceNC附-3
A.2.2RunningCoveragewithCadenceIncisive附-3
A.2.3RunningCoveragewithCadenceIncisive附-4
B.1Sourcetext附-9
B.1.1Librarysourcetext附-9
B.1.2Configurationsourcetext附-9
B.1.3Moduleandprimitivesourcetext附-10
B.1.4Moduleparametersandports附-13
B.1.5Moduleitems附-14
B.1.6Interfaceitems附-17
B.1.7Programitems附-18
B.1.8Classitems附-18
B.1.9Constraints附-20
B.2Declarations附-21
B.2.1Declarationtypes附-21
B.2.2Declarationdatatypes附-23
B.2.3Declarationlists附-26
B.2.4Declarationassignments附-27
B.2.5Declarationranges附-28
B.2.6Functiondeclarations附-28
B.2.7Taskdeclarations附-31
B.2.8Blockitemdeclarations附-33
B.2.9Interfacedeclarations附-33
B.2.10Assertiondeclarations附-34
B.3Primitiveinstances附-38
B.3.1Primitiveinstantiationandinstances附-38
B.3.2Primitivestrengths附-39
B.3.3Primitiveterminals附-40
B.3.4Primitivegateandswitchtypes附-40
B.4Module,interfaceandgeneratedinstantiation附-40
B.4.1Instantiation附-40
B.4.2Generatedinstantiation附-42
B.5UDPdeclarationandinstantiation附-44
B.5.1UDPdeclaration附-44
B.5.2UDPports附-45
B.5.3UDPbody附-46
B.5.4UDPinstantiation附-47
B.6Behavioralstatements附-47
B.6.1Continuousassignmentandnetaliasstatements附-47
B.6.2Proceduralblocksandassignments附-47
B.6.3Parallelandsequentialblocks附-49
B.6.4Statements附-49
B.6.5Timingcontrolstatements附-51
B.6.7Casestatements附-53
B.6.8Loopingstatements附-54
B.6.9Taskenablestatements附-55
B.6.10Assertionstatements附-55
B.6.11Clockingdomain附-55
B.7Specifysection附-57
B.7.1Specifyblockdeclaration附-57
B.7.2Specifypathdeclarations附-57
B.7.3Specifyblockterminals附-58
B.7.4Specifypathdelays附-58
B.7.5Systemtimingchecks附-60
B.8Expressions附-64
B.8.1Concatenations附-64
B.8.2Functioncalls附-65
B.8.3Expressions附-66
B.8.4Primaries附-69
B.8.5Expressionleft-sidevalues附-71
B.8.6Operators附-71
B.8.7Numbers附-72
B.8.8Strings附-73
B.9General附-73
B.9.1Attributes附-73
B.9.2Comments附-74
B.9.3Identifiers附-74
B.9.4Identifierbranches附-77
B.9.5Whitespace附-77
|
|