• / 13
  • 下載費用:30 金幣  

一種可編程電路系統的驗證方法.pdf

摘要
申請專利號:

CN201510679167.X

申請日:

2015.10.19

公開號:

CN105260545A

公開日:

2016.01.20

當前法律狀態:

授權

有效性:

有權

法律詳情: 授權|||著錄事項變更IPC(主分類):G06F 17/50變更事項:申請人變更前:深圳市同創國芯電子有限公司變更后:深圳市紫光同創電子有限公司變更事項:地址變更前:518057 廣東省深圳市南山區高新科技產業園南區科技南八道豪威科技大廈16層變更后:518057 廣東省深圳市南山區高新技術產業園南區科技南八道豪威科技大廈16層|||實質審查的生效IPC(主分類):G06F 17/50申請日:20151019|||公開
IPC分類號: G06F17/50 主分類號: G06F17/50
申請人: 深圳市同創國芯電子有限公司
發明人: 許明亮
地址: 518057廣東省深圳市南山區高新科技產業園南區科技南八道豪威科技大廈16層
優先權:
專利代理機構: 北京匯澤知識產權代理有限公司11228 代理人: 張瑾
PDF完整版下載: PDF下載
法律狀態
申請(專利)號:

CN201510679167.X

授權公告號:

|||||||||

法律狀態公告日:

2018.09.14|||2016.08.24|||2016.02.17|||2016.01.20

法律狀態類型:

授權|||著錄事項變更|||實質審查的生效|||公開

摘要

本發明實施例公開了一種可編程電路系統的驗證方法,涉及可編程集成電路設計技術領域,解決了現有技術中對可編程電路系統進行驗證所花費的時間較多、驗證環境的資源占用率較高、驗證效率較低的問題。本發明可編程電路系統的驗證方法包括:建立電路功能模塊與位流配置信息的對照表;根據所述電路功能模塊與位流配置信息的對照表,對各電路功能模塊進行參數化的功能描述,同時進行各電路功能模塊的電路網表與功能描述的形式驗證;通過配置控制模塊在電路網表中進行數據位寬大小設置;將每個電路模塊中對應的數據位流根據生成的先后順序,按照所設置的位寬大小重新設置數據順序和相應的地址順序。本發明實施例適用于對可編程電路系統進行驗證。

權利要求書

1.一種可編程電路系統的驗證方法,其特征在于,包括:
建立電路功能模塊與位流配置信息的對照表;
根據所述電路功能模塊與位流配置信息的對照表,對各電路功能模塊進行
參數化的功能描述,同時進行各電路功能模塊的電路網表與功能描述的形式驗
證;
通過配置控制模塊在電路網表中進行數據位寬大小設置;
將每個電路模塊中對應的數據位流根據生成的先后順序,按照所設置的位
寬大小重新設置數據順序和相應的地址順序。
2.根據權利要求1所述的方法,其特征在于,所述根據所述電路功能模塊
與位流配置信息的對照表,對各電路功能模塊進行參數化的功能描述,同時進
行各電路功能模塊的電路網表與功能描述的形式驗證包括:
在底層晶體管級進行弱驅動強度的非數字邏輯的晶體管的功能描述;
在門級電路層、基本邏輯單元和時序單元進行門級電路的功能描述;
根據門級電路的功能描述,在子電路模塊提取電路網表,同時對子電路模
塊進行功能描述,將提取的電路網表與子電路模塊的功能描述進行形式驗證;
根據子電路模塊的功能描述,在子電路模塊的上層電路模塊提取電路網表,
同時對所述上層電路模塊進行功能描述,將提取的電路網表與該上層電路模塊
的功能描述進行形式驗證,直到電路功能模塊級電路;
在電路功能模塊級,根據所述電路功能模塊與位流配置信息的對照表,對
配置位流接口進行參數化,并對電路功能模塊級電路進行功能描述,同時在電
路功能模塊提取電路網表,與電路功能模塊的功能描述進行形式驗證。
3.根據權利要求1所述的方法,其特征在于,所述方法還包括:
根據電路系統的配置接口寬度,通過串并轉換模塊將普通配置寬度轉換到
預定位寬。
4.根據權利要求3所述的方法,其特征在于,所述通過配置控制模塊在電
路網表中進行數據位寬大小設置包括:
將數據位寬設置為一幀數據位寬的N倍,其中,N為大于等于1的整數。
5.根據權利要求4所述的方法,其特征在于,所述將每個電路模塊中對應
的數據位流根據生成的先后順序,按照所設置的位寬大小重新設置數據順序和
相應的地址順序包括:
根據N*M*32bits位寬的內部配置數據,根據總的配置位流總量不變,寬度
深度進行相應的選擇的原則,設置對應的地址順序和地址深度,同時在電路功
能模塊級中的參數化中生成對應順序的地址,其中,M為大于1的整數。
6.根據權利要求5所述的方法,其特征在于,所述根據電路系統的配置接
口寬度,通過串并轉換模塊將普通配置寬度轉換到預定位寬包括:
通過串并轉換模塊將普通配置寬度轉換到內部N*M*32bits位寬。
7.根據權利要求5所述的方法,其特征在于,所述配置控制模塊將每個周
期發送的N*M*32bits位寬的數據直接譯碼到對應的電路功能模塊級的對應的參
數。
8.根據權利要求1所述的方法,其特征在于,所述電路功能模塊包括可編
程邏輯單元、可編程塊存儲器、可編程時鐘管理模塊和可編程DSP模塊。
9.根據權利要求2所述的方法,其特征在于,所述弱驅動強度的非數字邏
輯的晶體管包括弱上拉晶體管、弱下拉晶體管和電平恢復器。
10.根據權利要求2所述的方法,其特征在于,所述門級電路包括反相器、
緩沖器、與非門、或非門、觸發器、保持器和鎖存器。

關 鍵 詞:
一種 可編程 電路 系統 驗證 方法
  專利查詢網所有資源均是用戶自行上傳分享,僅供網友學習交流,未經上傳用戶書面授權,請勿作他用。
關于本文
本文標題:一種可編程電路系統的驗證方法.pdf
鏈接地址:http://www.rgyfuv.icu/p-6345602.html
關于我們 - 網站聲明 - 網站地圖 - 資源地圖 - 友情鏈接 - 網站客服客服 - 聯系我們

[email protected] 2017-2018 zhuanlichaxun.net網站版權所有
經營許可證編號:粵ICP備17046363號-1 
 


收起
展開
山东11选5中奖结果走势图