[發明專利]雙精度SIMD部件芯片級驗證測試激勵自動生成方法

無效

• 申請號: 201110056614.8
• 申請日: 2011-03-09
• 公開（公告）號: CN102129407A
• 公開（公告）日: 2011-07-20
• 發明（設計）人: 李春江;易會戰;趙克佳;楊燦群;黃春;王鋒;杜云飛;陳娟;彭林
• 申請（專利權）人: 中國人民解放軍國防科學技術大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 國防科技大學專利服務中心 43202
• 代理人: 郭敏

1.一種雙精度SIMD部件芯片級驗證測試激勵自動生成方法，其特征在于包括以下步驟：

第一步，根據所要驗證的雙精度數據運算類型以及數組長度scale，構造進行雙精度數組操作的標準C語言程序foo.c，方法是：

1.1?生成一個空的C語言源程序文件foo.c；

1.2?向foo.c文件中寫入標準C語言程序文本，包括如下內容：

1.2.1?包含標準頭文件的語句；

1.2.2?全局數組聲明語句，包括聲明用作輸入數據的一維雙精度數組src1和src2的語句、聲明用作保存正確結果的一維雙精度數組golden_result的語句，以及聲明用作保存計算結果的一維雙精度數組result的語句，數組的長度都為scale；src1和src2聲明中的數組初值由雙精度數據隨機生成程序生成；golden_result數組聲明中的初始數據根據所要驗證的運算類型對src1和src2數組進行運算得到；

1.2.3?C程序主函數代碼：包括對兩個輸入數組元素進行運算并將結果寫入result數組的語句；對golden_result數組元素和result數組元素進行比較并當結果不同時報出警告信息的程序語句；

第二步，基于foo.c以及所要驗證的運算，構造作為測試激勵的匯編語言源程序simd.s，方法是：

2.1?用面向目標處理器的編譯器編譯foo.c程序，用“-S”編譯選項控制編譯器將foo.c編譯為匯編語言程序文本foo.s；

2.2?創建simd.s文件；

2.3?向simd.s文件中寫入如下內容：

2.3.1?包含測試激勵公共頭文件的代碼；

2.3.2?匯編語言程序文本段聲明語句；

2.3.3?將4個數組src1，src2，golden_result和result的基地址寫入寄存器的匯編語句；

2.3.4?根據數組長度設置循環控制寄存器初始值的語句；

2.3.5?根據所要驗證的運算，寫入用SIMD指令進行數組讀取和操作的語句；

2.3.6?結果比較語句以及根據比較結果跳轉到相應自陷語句的匯編語句；

2.3.7?自陷語句；

2.3.8?數據段聲明語句，數據對齊方式為“.align?32”；

2.3.9?foo.s文件中讀取的src1、src2、golden_result、result數組數據段的內容。