標(biāo)準(zhǔn)解讀
GB/T 18349-2001 是一項(xiàng)由中國(guó)國(guó)家標(biāo)準(zhǔn)化管理委員會(huì)頒布的國(guó)家標(biāo)準(zhǔn),全稱為《集成電路/計(jì)算機(jī)硬件描述語(yǔ)言Verilog》。這項(xiàng)標(biāo)準(zhǔn)詳細(xì)規(guī)定了Verilog硬件描述語(yǔ)言的語(yǔ)法、語(yǔ)義以及使用規(guī)則,旨在為集成電路設(shè)計(jì)與驗(yàn)證提供一個(gè)統(tǒng)一的、形式化的描述方法。以下是該標(biāo)準(zhǔn)主要內(nèi)容的概述:
-
范圍:標(biāo)準(zhǔn)明確了其適用范圍,即定義了Verilog語(yǔ)言作為描述電子系統(tǒng)和集成電路設(shè)計(jì)的功能、結(jié)構(gòu)、行為及測(cè)試的方法。它適用于硬件設(shè)計(jì)人員、軟件開發(fā)人員以及電子設(shè)計(jì)自動(dòng)化工具開發(fā)者。
-
術(shù)語(yǔ)和定義:為確保語(yǔ)言使用的準(zhǔn)確性和一致性,標(biāo)準(zhǔn)首先對(duì)Verilog語(yǔ)言中涉及的關(guān)鍵術(shù)語(yǔ)進(jìn)行了明確定義,包括模塊、端口、線網(wǎng)型、寄存器型、常量、變量等基本概念。
-
語(yǔ)言基礎(chǔ):詳細(xì)介紹了Verilog語(yǔ)言的基本構(gòu)成元素,如數(shù)據(jù)類型(包括wire、reg等)、操作符、表達(dá)式、賦值語(yǔ)句等,為構(gòu)建復(fù)雜硬件模型打下基礎(chǔ)。
-
結(jié)構(gòu)描述:闡述了如何使用模塊(module)來組織設(shè)計(jì),定義模塊的輸入輸出端口,以及內(nèi)部邏輯結(jié)構(gòu)。這包括連續(xù)賦值(assign)、實(shí)例化其他模塊等方法。
-
行為描述:規(guī)范了用于描述設(shè)計(jì)行為的語(yǔ)句和結(jié)構(gòu),如initial塊用于初始化、always塊用于描述時(shí)序邏輯,以及過程語(yǔ)句(procedural statements)的使用等,便于實(shí)現(xiàn)復(fù)雜的控制邏輯。
-
系統(tǒng)任務(wù)和函數(shù):列出了預(yù)定義的系統(tǒng)任務(wù)(如$display用于輸出信息)和用戶自定義函數(shù),這些是增強(qiáng)語(yǔ)言功能、進(jìn)行仿真和測(cè)試的重要手段。
-
仿真和測(cè)試:說明了如何利用Verilog語(yǔ)言進(jìn)行設(shè)計(jì)的仿真驗(yàn)證,包括測(cè)試平臺(tái)的搭建、激勵(lì)信號(hào)的生成、斷言(assertions)的使用等,以確保設(shè)計(jì)正確性。
-
綜合指導(dǎo):雖然Verilog主要用于行為和結(jié)構(gòu)描述,但標(biāo)準(zhǔn)也提供了關(guān)于如何編寫可綜合代碼的指導(dǎo)原則,幫助設(shè)計(jì)者將高層次描述轉(zhuǎn)換為實(shí)際的門級(jí)電路。
-
參考附錄:包含一些補(bǔ)充材料,如關(guān)鍵字列表、保留字、符號(hào)表等,為使用者提供快速查閱的資源。
如需獲取更多詳盡信息,請(qǐng)直接參考下方經(jīng)官方授權(quán)發(fā)布的權(quán)威標(biāo)準(zhǔn)文檔。
....
查看全部
- 現(xiàn)行
- 正在執(zhí)行有效
- 2001-04-09 頒布
- 2001-10-01 實(shí)施
文檔簡(jiǎn)介
!C5.35.060L74中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)GB/T18349-2001集成電路/計(jì)算機(jī)硬件描述語(yǔ)言VerilogIntegratedCircuit/ComputerHardwareDescriptionLanguageVerilog2001-04-09發(fā)布2001-10-01實(shí)施國(guó)家質(zhì)量技術(shù)監(jiān)督局發(fā)布
GB/T18349-2001二前言概述詞法約定數(shù)據(jù)類型4表達(dá)式…語(yǔ)義調(diào)度··….·……······5332斌值語(yǔ)句…6門級(jí)建模和開關(guān)級(jí)建?!脩舳x的基元(UDPs)97110任務(wù)和兩數(shù)有名稱的塊和任務(wù)的停用層次化結(jié)構(gòu)……12100指定塊:.···························1131系統(tǒng)任務(wù)和面數(shù)·值變轉(zhuǎn)儲(chǔ)(VCD)文件155編譯指令…16TF和PL.IACC的接口機(jī)制PI.I17018ACC例行程序的使用ACC例行程序的定義20819TF例行程序的使用·332TF例行程序的定義VPI例行程序的使用·22372:VPI例行程序的定義……23398附錄A(標(biāo)準(zhǔn)的附錄)形式化語(yǔ)法定義附錄B(標(biāo)準(zhǔn)的附錄)關(guān)關(guān)鍵詞列表…138)acc_uscr.h文件附錄C(標(biāo)準(zhǔn)的附錄)434附錄標(biāo)準(zhǔn)的附錄)veriuser.h文件446附錄E(標(biāo)準(zhǔn)的附錄)vpi_user.h文件454469附錄F(提示的附錄)系統(tǒng)任務(wù)和函數(shù)……·編譯指令……小附錄G(提示的附錄)附錄H(提示的附錄)考文獻(xiàn)475附錄I提示的附錄)專用術(shù)語(yǔ)中英文對(duì)照表475
GB/T18349-2001本標(biāo)準(zhǔn)等同采用(美國(guó))電氣與電子工程師協(xié)會(huì):IEEESid1364-1995《基于硬件描述語(yǔ)言Veriog的標(biāo)準(zhǔn)硬件描述語(yǔ)言》其技術(shù)內(nèi)容與1EEEStd1364一1995完全一致,標(biāo)準(zhǔn)結(jié)構(gòu)也無任何改動(dòng),只是增加了附錄1專用術(shù)語(yǔ)中英文對(duì)照表”以利于本標(biāo)準(zhǔn)專業(yè)術(shù)語(yǔ)的統(tǒng)一。EEESld1364-1995標(biāo)準(zhǔn)已被世界各工業(yè)發(fā)達(dá)國(guó)家普通接受,將共等同采用為我國(guó)國(guó)家標(biāo)準(zhǔn)將使我國(guó)的集成電路(AD軟件技術(shù)在使用方法上與國(guó)際保持一致,有利于我國(guó)與國(guó)際集成電路設(shè)計(jì)技術(shù)標(biāo)準(zhǔn)化接軌,也有利于我國(guó)硬件描述語(yǔ)言按國(guó)際慣例規(guī)范化。VerilogHD(VcrilogHardwareDcscripuionL.anguage,VerilogHDL)是一項(xiàng)重要的集成電路CAD軟件技術(shù),是當(dāng)前HDL(硬件描述語(yǔ)言)設(shè)計(jì)方法學(xué)的基礎(chǔ),受到半導(dǎo)體及集成電路設(shè)計(jì)行業(yè)的警追重視,世界各大半導(dǎo)體公司大多采用了該標(biāo)準(zhǔn)。當(dāng)前國(guó)際微電子技術(shù)正在迅猛發(fā)展,我國(guó)正處在突破集成電路產(chǎn)業(yè)落后局面的關(guān)鍵時(shí)刻.而集成電路設(shè)計(jì)是有可能首先取得成功的行業(yè)·這一點(diǎn)在國(guó)內(nèi)已取得共識(shí)。因此·本標(biāo)準(zhǔn)的發(fā)布實(shí)施必將會(huì)對(duì)我國(guó)的CAD發(fā)展有重要的推動(dòng)作用,硬件描述語(yǔ)言Verilog是PhilipR.Moorby于1983年在英格蘭阿克頓市的(atcwayDcaignAu-lomation硬件描述語(yǔ)言公司設(shè)計(jì)出來的,該公司在同一年發(fā)布了"VerilogHDL.”及其模擬器,并于1985年推出改進(jìn)產(chǎn)品Vcrilog-Xl.。1989年12月,dence公司并購(gòu)了這家公司,并于1990年將VerilogHDL公開,成立了(Vi((penVeriloglntcrnational)。OV1是由VerilogHDL用戶和CAE供應(yīng)商組成的行業(yè)協(xié)會(huì)·負(fù)責(zé)推動(dòng)和制定工業(yè)標(biāo)準(zhǔn)。VerilogHDL.在1995年12月12日被IEEE接納為IEEEstd1364-1995工業(yè)標(biāo)準(zhǔn)(下文簡(jiǎn)稱Verilog)。Verilog從誕生起就與生產(chǎn)實(shí)際緊密結(jié)合在一起,具有結(jié)構(gòu)消晰、文法簡(jiǎn)明、功能強(qiáng)大、高速模擬和多庫(kù)支持等優(yōu)點(diǎn),并獲得許多工具的支持,深受用戶的喜愛。雖然另一種硬件描述語(yǔ)言VHI.于1987年首先成為IEEEsld1076-1987標(biāo)準(zhǔn),并于1993年擴(kuò)展為IEEEsld1076一1993標(biāo)準(zhǔn),使它得到迅速發(fā)展,但是Verilog實(shí)際上是IC行業(yè)標(biāo)準(zhǔn),特別是在1995年12月被IEEE接納為正式標(biāo)準(zhǔn)后,使它成為一種很有克爭(zhēng)力的硬件描述語(yǔ)言。VerilogIEEEsld1364-1995標(biāo)準(zhǔn)包含的內(nèi)容十分豐富,主要有:詞法約定、數(shù)據(jù)類型、表達(dá)式、語(yǔ)義調(diào)度、賦值語(yǔ)句、門級(jí)建模和開關(guān)級(jí)建模、用戶定義的基元、行為級(jí)建模、任務(wù)和函數(shù)、有名稱的塊和任務(wù)的停用、層次化結(jié)構(gòu)、指定塊、系統(tǒng)任務(wù)和函數(shù)、值變轉(zhuǎn)儲(chǔ)文件、編譯指令、PLITF和ACC接口機(jī)制、ACC程序定義及ACC程序的使用TF程序定義及TF程序的應(yīng)用、VPI程序定義及VPI程序的使用等內(nèi)容。本標(biāo)準(zhǔn)中黑體字和斜體字的說明見1.3。本標(biāo)準(zhǔn)的附錄A、附錄B、附錄C、附錄D、附錄E都是標(biāo)準(zhǔn)的附錄。本標(biāo)準(zhǔn)的附錄F、附錄G、附錄H和附錄1都是提示的附錄。本標(biāo)準(zhǔn)由中國(guó)標(biāo)準(zhǔn)研究中心和北京理工大學(xué)提出。本標(biāo)準(zhǔn)由全國(guó)信息技術(shù)標(biāo)準(zhǔn)化技術(shù)委員會(huì)歸口。本標(biāo)準(zhǔn)起草單位:北京理工大學(xué)和中國(guó)標(biāo)準(zhǔn)研究中心,本標(biāo)準(zhǔn)主要起草人:劉明業(yè)、蔣敬旗、董連續(xù)、石峰、胡燕翔、葉梅龍、董國(guó)華、樊孝忠。
中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)集成電路/計(jì)算機(jī)硬件描述語(yǔ)言VerilogGB/T18349—2001IntegratedCircuit/ComputerHardwareDescriptionLanguageVerilog概述1.1本標(biāo)準(zhǔn)的目的本標(biāo)準(zhǔn)旨在作為Verilog"硬件描述語(yǔ)言(HDL.)的完整規(guī)范。本文檔包括:VerilogHDL所有結(jié)構(gòu)的形式化語(yǔ)法和語(yǔ)義;模擬系統(tǒng)的任務(wù)和函數(shù),例如文本輸出鼠示命令;編譯指令,例如文本替代宏和模擬的時(shí)間刻度;編程語(yǔ)言接口(PI.I)的連接機(jī)制:存取例行程序、任務(wù)例行程序/函數(shù)例行程序以及Verilog的過程化接口例行程序的形式化語(yǔ)法和語(yǔ)義:應(yīng)用實(shí)例;-PLI頭文件列表1.2本標(biāo)準(zhǔn)使用的一些約定本標(biāo)準(zhǔn)分為多章,每章集中述該語(yǔ)言的某個(gè)特定間題。每章中各條論述單獨(dú)的結(jié)構(gòu)和概念。論述中首先是對(duì)結(jié)構(gòu)或概念的介紹和基本原理,接著是語(yǔ)法和語(yǔ)義描述,以及一些舉例和注釋。本標(biāo)準(zhǔn)中使用的動(dòng)詞"shall"表示強(qiáng)制要求,而動(dòng)詞"can”表示可選擇性。這些動(dòng)詞對(duì)于不同的該者表示不同的含義:a)對(duì)于VerilogHDL的工具開發(fā)人員來說,動(dòng)詞"shall"表示標(biāo)準(zhǔn)強(qiáng)加的要求。要求最終實(shí)現(xiàn)的結(jié)果能夠?qū)崿F(xiàn)這些要求,如果要求不能得到滿足就報(bào)錯(cuò)。b)對(duì)于VerilogHDL模型開發(fā)人員來說,動(dòng)詞“shall"表示VerilogHDL的特性是語(yǔ)言定義的自然結(jié)果。要求模型開發(fā)人員能夠遭循這些特性所隱含的約束。動(dòng)詞"an"表示可選擇性,模型開發(fā)人員可以隨意操作。如果采用,則要求模型開發(fā)人員遵循語(yǔ)言定義所閘明的要求。)對(duì)于使用VerilogHDL模型的用戶來說,動(dòng)詞"shall"表示模型的特性是語(yǔ)言定義的自然結(jié)果模型用戶可以依賴VerilogHDL源文本隱含的模型特性。1.3語(yǔ)法描述使用BackusNaur范式(BNF)進(jìn)行VerilogHDL的形式化描述。使用以下約定:a)使用小寫字母、下劃線表示語(yǔ)
溫馨提示
- 1. 本站所提供的標(biāo)準(zhǔn)文本僅供個(gè)人學(xué)習(xí)、研究之用,未經(jīng)授權(quán),嚴(yán)禁復(fù)制、發(fā)行、匯編、翻譯或網(wǎng)絡(luò)傳播等,侵權(quán)必究。
- 2. 本站所提供的標(biāo)準(zhǔn)均為PDF格式電子版文本(可閱讀打?。?,因數(shù)字商品的特殊性,一經(jīng)售出,不提供退換貨服務(wù)。
- 3. 標(biāo)準(zhǔn)文檔要求電子版與印刷版保持一致,所以下載的文檔中可能包含空白頁(yè),非文檔質(zhì)量問題。
最新文檔
- 財(cái)會(huì)類檔案工作規(guī)范
- 2024屆云南省硯山縣二中高三第三次聯(lián)考數(shù)學(xué)試題試卷(海南新高考卷)LI-HAIN
- 可愛的小海獅課件
- 2024年廣元駕校資格證模擬考試題
- 2024年重慶客運(yùn)資格證培訓(xùn)考試題2024年答案
- 2024年白山考客運(yùn)資格證試題題庫(kù)軟件
- 2025屆湖北省宜昌市長(zhǎng)陽(yáng)縣一中生物高三第一學(xué)期期末聯(lián)考模擬試題含解析
- 2024年信陽(yáng)c1客運(yùn)資格證考試
- 2024年云南客運(yùn)應(yīng)用能力考試題庫(kù)
- 2025屆河南省滎陽(yáng)市第二高級(jí)中學(xué)高二數(shù)學(xué)第一學(xué)期期末達(dá)標(biāo)檢測(cè)試題含解析
- 三年級(jí)《格林童話》知識(shí)考試題庫(kù)(含答案)
- 創(chuàng)新創(chuàng)業(yè)路演PPT
- 再生水清水池施工技術(shù)措施
- 人教版四年級(jí)語(yǔ)文上冊(cè)精美課件第一單元習(xí)作推薦一個(gè)好地方
- 深基坑專項(xiàng)施工方案(專家論證)
- 運(yùn)營(yíng)管理精細(xì)化 助推醫(yī)院高質(zhì)量發(fā)展
- 微震應(yīng)用前景及預(yù)期效益論證
- 供應(yīng)鏈ppt課件匯總(完整版)
- 統(tǒng)信服務(wù)器UOS操作系統(tǒng)-產(chǎn)品白皮書
- 江蘇省南通市2022屆中考?xì)v史試卷
- 22 《禮記》二則 大道之行也同步練習(xí)【含答案】
評(píng)論
0/150
提交評(píng)論