相關詞條
-
硬體驗證語言
硬體驗證語言(英語:hardware verification language, 縮寫為 HVL)是一種用硬體描述語言(HDL)編寫、用於電子電路設計...
簡介 硬體描述語言 SystemVerilog OpenVera SystemC -
統一軟體工程
《統一軟體工程》是2008年機械工業出版社出版的圖書,作者是GeorgesG.Merx。
內容介紹 -
統一軟體工程(英文版)
《統一軟體工程》,作者(美)默克斯,由機械工業出版社於2008年1月1日出版。描述的是如何使用統一建模語言(UML)和簡單設計模式等軟體工程最佳實踐,在...
內容提要 作者簡介 目錄 書摘 -
成人高等學校招生全國統一考試
成人高等學校招生全國統一考試(Adult university entrance exam)簡稱成人高考,是我國成人高等學校選拔合格的畢業生以進入更高層...
報考指南 考試事宜 違紀處理 畢業待遇 學歷認可 -
IBM-Rational統一過程
IBM-Rational統一過程(RUP)是Rational軟體公司(現在Rational公司被IBM併購)創造的軟體工程方法。
概述 指導方針和模版 -
《統一軟體工程》
《統一軟體工程(英文版)》展示了如何使用統一建模語言(LJML)和簡單設計模式等軟體工程最佳實踐,在擴展的統一過程框架中開發實用的軟體工程的技巧。
編輯推薦 內容簡介 作者簡介 目錄 -
C型肝炎病毒核糖核酸測定試劑技術審查指導原則
另行選擇符合自身方法學特性的技術要求或評價方法。本指導原則適用於進行首次...從方法學及檢出限等方面寫明擬申報產品與目前市場上已獲批准的同類產品之間...關鍵工藝質控步驟。2.反應原理介紹。3.基因位點選擇、PCR方法學特性介紹...
範圍 基本要求 名詞解釋 -
UVM
。驗證方法學就是提供一套基於SystemVerilog的類,驗證工程師...驗證方法學的標準化,早在2009年12月,Accellera(電子設計...法學2.1.1版為基礎,構建一個新的功能驗證方法學。2011年2月...
發展歷史 UVM類庫結構 樹型組織結構 phase機制 -
謝鵬程[最高人民檢察院檢察理論研究所所長]
:1969年至1980年先後就讀於方店國小、廣水一小、楊寨中學、城關高中;1981年至1985年在武漢大學法律系讀書,獲得法學學士學位;1985年至1987年在北京大學法律系法學理論專業研究生班讀書,後獲法學碩士學位...
人物經歷 專著 論文 譯著 譯文