[發(fā)明專利]一種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試方法及系統(tǒng)

在審

• 申請(qǐng)?zhí)枺?/td>: 202010130480.9
• 申請(qǐng)日: 2020-02-26
• 公開（公告）號(hào): CN111400992A
• 公開（公告）日: 2020-07-10
• 發(fā)明（設(shè)計(jì)）人: 夏燕;徐維濤
• 申請(qǐng)（專利權(quán)）人: 中科億海微電子科技（蘇州）有限公司
• 主分類號(hào): G06F30/392
• 分類號(hào): G06F30/392;G06F30/398
• 代理公司: 北京市中聞律師事務(wù)所 11388
• 代理人: 馮夢(mèng)洪

一種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試方法及裝置，能夠?qū)﹄娐饭こ踢M(jìn)行批量的自動(dòng)化驗(yàn)證，可以大大節(jié)約測(cè)試人員的測(cè)試時(shí)間，可以提高后臺(tái)驗(yàn)證的測(cè)試覆蓋率。方法包括：(1)讀取CASE文件，拼出電路工程地址，判斷該電路是否執(zhí)行成功，如果執(zhí)行成功則執(zhí)行步驟(2)，否則讀取下一條CASE文件進(jìn)行判斷；(2)解析網(wǎng)表文件，對(duì)解析網(wǎng)表文件生成的兩個(gè)字典分別解析；(3)解析裝箱、布局、布線文件，生成對(duì)應(yīng)的裝箱、布局字典；(4)設(shè)置規(guī)則文件；(5)讀取規(guī)則文件中規(guī)則的設(shè)置，判斷是否進(jìn)行校驗(yàn)，如果是則進(jìn)行底層各種裝箱約束的校驗(yàn)、布局布線的校驗(yàn)以及屬性的校驗(yàn)。

技術(shù)領(lǐng)域

本發(fā)明涉及可編程邏輯器件的技術(shù)領(lǐng)域，尤其涉及一種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試方法，以及一種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試系統(tǒng)。

背景技術(shù)

FPGA EDA(Field－Programmable Gate Array Electronics DesignAutomation，現(xiàn)場(chǎng)可編程門陣列電子設(shè)計(jì)自動(dòng)化)工具的主要功能是將具體的電路設(shè)計(jì)先轉(zhuǎn)換為網(wǎng)表文件(網(wǎng)表文件是描述電路的連接關(guān)系的文件,一般是文本文件,簡(jiǎn)單的說(shuō)就是把原理圖翻譯成了文本文件,文件會(huì)包含器件的標(biāo)示,封裝,連接關(guān)系,這個(gè)文件導(dǎo)入到PCB(Printed Circuit Board，印制電路板)編輯器里面,編輯器就會(huì)從封裝庫(kù)里面取出對(duì)應(yīng)的封裝,給予相應(yīng)標(biāo)示和連接關(guān)系)，再對(duì)網(wǎng)表文件做后續(xù)的裝箱，布局，布線，生成配碼等處理流程，EDA工具對(duì)電路的處理流程如圖1所示。

由于網(wǎng)表文件中生成的信號(hào)及CLB很多，并且其中有很多關(guān)聯(lián)關(guān)系，測(cè)試人員如果進(jìn)行手工驗(yàn)證，需要先從網(wǎng)表文件中找出一個(gè)信號(hào)，并且記錄這個(gè)信號(hào)分別經(jīng)過(guò)哪些CLB，并且在不同CLB中的端口是什么，坐標(biāo)是什么，經(jīng)過(guò)每個(gè)CLB的屬性是什么，再到裝箱布局布線的XML(Extensible Markup Language，可擴(kuò)展標(biāo)記語(yǔ)言)中找到對(duì)應(yīng)的信號(hào)名進(jìn)行結(jié)果比對(duì)，這種情況只是比對(duì)了網(wǎng)表文件中的一個(gè)信號(hào)的一種校驗(yàn)，但是一個(gè)網(wǎng)表文件中通常有成百上千個(gè)信號(hào)，并且裝箱、布局和布線的校驗(yàn)點(diǎn)非常多，如果測(cè)試人員用這種方式驗(yàn)證將會(huì)消耗大量時(shí)間，而且測(cè)試人員經(jīng)過(guò)長(zhǎng)時(shí)間也無(wú)法校驗(yàn)完一個(gè)電路的一個(gè)網(wǎng)表文件。

發(fā)明內(nèi)容

為克服現(xiàn)有技術(shù)的缺陷，本發(fā)明要解決的技術(shù)問(wèn)題是提供了一種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試方法，其能夠?qū)﹄娐饭こ踢M(jìn)行批量的自動(dòng)化驗(yàn)證，可以大大節(jié)約測(cè)試人員的測(cè)試時(shí)間，可以提高后臺(tái)驗(yàn)證的測(cè)試覆蓋率。

本發(fā)明的技術(shù)方案是：這種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試方法，其包括以下步驟：

(1)讀取電路CASE文件，拼出電路工程地址，判斷該電路是否執(zhí)行成功，如果執(zhí)行成功則執(zhí)行步驟(2)，否則讀取下一條CASE文件進(jìn)行判斷；

(2)解析網(wǎng)表文件，對(duì)解析網(wǎng)表文件生成的兩個(gè)字典分別解析；

(3)解析裝箱、布局、布線文件，生成對(duì)應(yīng)的裝箱、布局字典；

(4)設(shè)置規(guī)則文件；

(5)讀取規(guī)則文件中規(guī)則的設(shè)置，判斷是否進(jìn)行校驗(yàn)，如果是則進(jìn)行底層各種裝箱約束的校驗(yàn)、布局布線的校驗(yàn)以及屬性的校驗(yàn)。

本發(fā)明通過(guò)讀取CASE文件獲取執(zhí)行CASE的路徑，進(jìn)行每條CASE，每個(gè)電路的網(wǎng)表文件及裝箱布局布線文件的解析，再通過(guò)存放規(guī)則的配置文件，進(jìn)行相應(yīng)的校驗(yàn)，這樣能夠?qū)﹄娐饭こ踢M(jìn)行批量的自動(dòng)化驗(yàn)證，可以大大節(jié)約測(cè)試人員的測(cè)試時(shí)間，并且可以提高后臺(tái)驗(yàn)證的測(cè)試覆蓋率。

還提供了一種自動(dòng)化驗(yàn)證裝箱布局布線的測(cè)試系統(tǒng)，其包括：

CASE文件讀取模塊，其配置來(lái)讀取CASE文件，拼出電路工程地址，判斷該電路是否執(zhí)行成功，如果執(zhí)行成功則執(zhí)行網(wǎng)表文件解析模塊，否則讀取下一條CASE文件進(jìn)行判斷；

網(wǎng)表文件解析模塊，其配置來(lái)對(duì)解析網(wǎng)表文件生成的兩個(gè)字典分別解析；