国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

基于DPI-C的脈動(dòng)陣列模塊驗證平臺
DOI:
CSTR:
作者:
作者單位:

江南大學(xué) 物聯(lián)網(wǎng)工程學(xué)院

作者簡(jiǎn)介:

通訊作者:

中圖分類(lèi)號:

基金項目:

國家自然科學(xué)基金(61703185);高等學(xué)校學(xué)科創(chuàng )新引智計劃項目(B12018)


Systolic array module verification platform based on DPI-C
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 圖/表
  • |
  • 訪(fǎng)問(wèn)統計
  • |
  • 參考文獻
  • |
  • 相似文獻
  • |
  • 引證文獻
  • |
  • 資源附件
  • |
  • 文章評論
    摘要:

    針對卷積神經(jīng)網(wǎng)絡(luò )加速器中有關(guān)于脈動(dòng)陣列模塊的驗證,提出并實(shí)現了一種基于直接編程接口C(DPI-C,Direct Programming Interface C)程序的驗證平臺,采用內嵌DPI-C程序并利用通用驗證方法學(xué)(UVM,Universal Verification Methodology)滿(mǎn)足脈動(dòng)陣列模塊中的浮點(diǎn)數乘加運算的驗證需求。實(shí)驗利用了SystemVerilog中的DPI接口技術(shù),在驗證平臺中實(shí)現對C或C++代碼的調用,通過(guò)編寫(xiě)C函數來(lái)實(shí)現復雜的參考模型,浮點(diǎn)數乘加運算便是利用C代碼編寫(xiě)的。驗證平臺的整體結構是根據UVM來(lái)設計的,其中包括激勵的設計、參考模型的編寫(xiě)、數據校對等組件,整個(gè)驗證平臺高效、簡(jiǎn)潔。此平臺已經(jīng)應用于人工智能芯片的驗證工作中,編寫(xiě)的測試用例可以對脈動(dòng)陣列進(jìn)行充分驗證,覆蓋率達到了100%。驗證平臺可以保證脈動(dòng)陣列驗證的全面性、高效性并且調試糾錯簡(jiǎn)單方便,同時(shí)還實(shí)現了UVM環(huán)境和測試用例的重用。

    Abstract:

    Aiming at the verification of the systolic array module in the convolutional neural network accelerator, a verification platform based on the direct programming interface C (DPI-C) program is proposed and implemented. The embedded DPI-C program is used and the universal verification methodology (UVM) is used to meet the verification requirements of floating-point multiplication and addition in the systolic array module. The experiments take advantage of the DPI interface technology in SystemVerilog to implement calls to C or C++ code in the verification platform. Complex reference models are implemented by writing C functions, and floating-point multiplication and addition operations are written using C code. The overall structure of the verification platform is designed according to UVM, which includes the design of excitation, the writing of reference model, data proofreading and other components, and the whole verification platform is efficient and concise. The platform has been applied to the verification of artificial intelligence chips, and the test cases written can fully verify the pulsating arrays with 100% coverage. The verification platform ensures comprehensive and efficient verification of systolic arrays and easy debugging and error correction, and also enables reuse of the UVM environment and test cases.

    參考文獻
    相似文獻
    引證文獻
引用本文

王鑫,陳博.基于DPI-C的脈動(dòng)陣列模塊驗證平臺計算機測量與控制[J].,2023,31(6):293-298.

復制
分享
文章指標
  • 點(diǎn)擊次數:
  • 下載次數:
  • HTML閱讀次數:
  • 引用次數:
歷史
  • 收稿日期:2022-10-10
  • 最后修改日期:2022-11-11
  • 錄用日期:2022-11-14
  • 在線(xiàn)發(fā)布日期: 2023-06-15
  • 出版日期:
文章二維碼
郁南县| 买车| 贞丰县| 简阳市| 北海市| 滨州市| 麻江县| 万年县| 娱乐| 西吉县| 南开区| 安远县| 永安市| 库伦旗| 雅安市| 五河县| 定南县| 犍为县| 东宁县| 新密市| 青神县| 安平县| 南漳县| 沙湾县| 香河县| 三河市| 濉溪县| 漠河县| 万荣县| 南澳县| 准格尔旗| 香河县| 南木林县| 祁东县| 林西县| 获嘉县| 卫辉市| 教育| 乐山市| 泰和县| 威宁|