CN100476837C - 一种支持随机指令测试的微处理器fpga验证装置 - Google Patents
一种支持随机指令测试的微处理器fpga验证装置 Download PDFInfo
- Publication number
- CN100476837C CN100476837C CNB2006100118140A CN200610011814A CN100476837C CN 100476837 C CN100476837 C CN 100476837C CN B2006100118140 A CNB2006100118140 A CN B2006100118140A CN 200610011814 A CN200610011814 A CN 200610011814A CN 100476837 C CN100476837 C CN 100476837C
- Authority
- CN
- China
- Prior art keywords
- main control
- control circuit
- microprocessor
- internal memory
- workstation
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012360 testing method Methods 0.000 title claims description 28
- 238000012795 verification Methods 0.000 title claims description 16
- 230000015654 memory Effects 0.000 claims abstract description 81
- 238000004891 communication Methods 0.000 claims abstract description 33
- 238000001514 detection method Methods 0.000 claims description 13
- 238000013461 design Methods 0.000 abstract description 35
- 238000000034 method Methods 0.000 abstract description 21
- 230000008569 process Effects 0.000 abstract description 8
- 238000010200 validation analysis Methods 0.000 abstract description 3
- 238000004088 simulation Methods 0.000 description 10
- 238000010586 diagram Methods 0.000 description 5
- 230000008901 benefit Effects 0.000 description 3
- 230000007246 mechanism Effects 0.000 description 3
- 241001269238 Data Species 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 2
- 230000007812 deficiency Effects 0.000 description 2
- 238000012942 design verification Methods 0.000 description 2
- 230000006870 function Effects 0.000 description 2
- 238000010998 test method Methods 0.000 description 2
- 101100257262 Caenorhabditis elegans soc-1 gene Proteins 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000000452 restraining effect Effects 0.000 description 1
- 230000009183 running Effects 0.000 description 1
Images
Abstract
Description
Claims (4)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNB2006100118140A CN100476837C (zh) | 2006-04-28 | 2006-04-28 | 一种支持随机指令测试的微处理器fpga验证装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNB2006100118140A CN100476837C (zh) | 2006-04-28 | 2006-04-28 | 一种支持随机指令测试的微处理器fpga验证装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101063979A CN101063979A (zh) | 2007-10-31 |
CN100476837C true CN100476837C (zh) | 2009-04-08 |
Family
ID=38965001
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CNB2006100118140A Active CN100476837C (zh) | 2006-04-28 | 2006-04-28 | 一种支持随机指令测试的微处理器fpga验证装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN100476837C (zh) |
Families Citing this family (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101320344B (zh) * | 2008-07-07 | 2010-10-13 | 中国科学院计算技术研究所 | 一种多核或众核处理器功能验证设备及方法 |
CN101833491B (zh) * | 2010-04-26 | 2012-10-24 | 浪潮电子信息产业股份有限公司 | 一种节点互连系统链路检测电路的设计与fpga实现方法 |
JP5328987B2 (ja) * | 2010-10-06 | 2013-10-30 | アート システムズ ソフトウェア ゲゼルシャフト ミット ベシュレンクテル ハフツング | ハイブリッド微分代数プロセスモデルの状態量を計算する方法およびプロセス計算機 |
CN101980223B (zh) * | 2010-11-04 | 2012-03-14 | 浙江大学 | 应用于处理器结构和电路设计的功耗-性能优化方法 |
CN102567149B (zh) * | 2010-12-09 | 2016-03-23 | 上海华虹集成电路有限责任公司 | Soc系统验证方法 |
CN102142050A (zh) * | 2011-03-01 | 2011-08-03 | 浪潮(北京)电子信息产业有限公司 | 一种高端容错计算机单结点原型验证系统及验证方法 |
CN102299820B (zh) * | 2011-08-26 | 2014-07-23 | 于辉 | 一种盟员节点装置及hla系统构架的实现方法 |
CN102841836B (zh) * | 2012-08-28 | 2016-06-08 | 华为技术有限公司 | 测试方法以及可编程处理器 |
CN104363141B (zh) * | 2014-11-25 | 2017-12-12 | 浪潮(北京)电子信息产业有限公司 | 一种基于处理器系统的fpga验证方法及系统 |
CN104735371B (zh) * | 2015-03-25 | 2017-09-29 | 北京空间机电研究所 | 一种基于ccd数字模型的用于仿真的数据源建立方法 |
CN107644137B (zh) * | 2017-09-26 | 2021-08-10 | 郑州云海信息技术有限公司 | 一种对接接口定义检查方法及系统 |
GB2578317B (en) * | 2018-10-23 | 2021-11-24 | Advanced Risc Mach Ltd | Generating a test sequence of code based on a directed sequence of code and randomly selected instructions |
US11099958B2 (en) | 2019-03-19 | 2021-08-24 | Hewlett Packard Enterprise Development Lp | Instruction generation for validation of processor functionality |
CN111339731B (zh) * | 2020-01-21 | 2021-01-08 | 中国人民解放军军事科学院国防科技创新研究院 | 一种面向SoC的FPGA验证平台和验证方法 |
CN115033442A (zh) * | 2022-07-05 | 2022-09-09 | 天津普智芯网络测控技术有限公司 | 一种fpga的测试系统及方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1560743A (zh) * | 2004-03-11 | 2005-01-05 | 浙江大学 | 多媒体处理器协同仿真验证平台 |
CN1609862A (zh) * | 2004-11-19 | 2005-04-27 | 华南理工大学 | 基于pci总线的ip核仿真验证平台及其验证方法 |
JP2005346517A (ja) * | 2004-06-04 | 2005-12-15 | Renesas Technology Corp | 検証装置および検証方法 |
-
2006
- 2006-04-28 CN CNB2006100118140A patent/CN100476837C/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1560743A (zh) * | 2004-03-11 | 2005-01-05 | 浙江大学 | 多媒体处理器协同仿真验证平台 |
JP2005346517A (ja) * | 2004-06-04 | 2005-12-15 | Renesas Technology Corp | 検証装置および検証方法 |
CN1609862A (zh) * | 2004-11-19 | 2005-04-27 | 华南理工大学 | 基于pci总线的ip核仿真验证平台及其验证方法 |
Also Published As
Publication number | Publication date |
---|---|
CN101063979A (zh) | 2007-10-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN100476837C (zh) | 一种支持随机指令测试的微处理器fpga验证装置 | |
CN115841089B (zh) | 一种基于uvm的系统级芯片验证平台及验证方法 | |
US6678625B1 (en) | Method and apparatus for a multipurpose configurable bus independent simulation bus functional model | |
CN102508753B (zh) | Ip核验证系统 | |
CN110865971B (zh) | Soc芯片的验证系统及其方法 | |
CN100565472C (zh) | 一种适用于多处理器核系统芯片的调试方法 | |
CN100422953C (zh) | 利用HDL扩展串口的SoC系统在线调试方法 | |
US20170140082A1 (en) | Target Capture And Replay In Emulation | |
US20220292248A1 (en) | Method, system and verifying platform for system on chip verification | |
CN102521444A (zh) | 软硬件协同仿真/验证方法及装置 | |
CN105930242B (zh) | 一种支持精确访存检测的多核处理器随机验证方法及装置 | |
WO2018018978A1 (zh) | 一种通用串行总线控制器验证方法、系统及设备 | |
US8532975B2 (en) | System and method implementing a simulation acceleration capture buffer | |
CN113076227A (zh) | Mcu验证方法、系统和终端设备 | |
CN115146568B (zh) | 一种基于uvm的芯片验证系统及验证方法 | |
CN116414526B (zh) | 一种基于虚拟机的仿真装置和方法 | |
US6810373B1 (en) | Method and apparatus for modeling using a hardware-software co-verification environment | |
CN110674055A (zh) | 一种用于部件级和部件联合级的缓存一致性模拟验证方法 | |
CN113486625A (zh) | 芯片的验证方法与验证系统 | |
US20060212768A1 (en) | Verification circuitry for master-slave system | |
US6567934B1 (en) | Method and apparatus for verifying multiprocessing design in a unit simulation environment | |
CN103713977B (zh) | 一种微处理器ip核比较验证的实现方法 | |
US10664637B2 (en) | Testbench restoration based on capture and replay | |
CN101714114B (zh) | 一种支持处理器硅后调试的装置和方法 | |
CN113496108B (zh) | 一种应用于仿真的cpu模型 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
EE01 | Entry into force of recordation of patent licensing contract |
Assignee: Beijing Loongson Zhongke Technology Service Center Co., Ltd. Assignor: Institute of Computing Technology, Chinese Academy of Sciences Contract fulfillment period: 2009.12.16 to 2028.12.31 Contract record no.: 2010990000062 Denomination of invention: MPU FPGA verification device supporting stochastic instruction testing Granted publication date: 20090408 License type: exclusive license Record date: 20100128 |
|
LIC | Patent licence contract for exploitation submitted for record |
Free format text: EXCLUSIVE LICENSE; TIME LIMIT OF IMPLEMENTING CONTACT: 2009.12.16 TO 2028.12.31; CHANGE OF CONTRACT Name of requester: BEIJING LOONGSON TECHNOLOGY SERVICE CENTER CO., LT Effective date: 20100128 |
|
EC01 | Cancellation of recordation of patent licensing contract |
Assignee: Longxin Zhongke Technology Co., Ltd. Assignor: Institute of Computing Technology, Chinese Academy of Sciences Contract record no.: 2010990000062 Date of cancellation: 20141231 |
|
EM01 | Change of recordation of patent licensing contract |
Change date: 20141231 Contract record no.: 2010990000062 Assignee after: Longxin Zhongke Technology Co., Ltd. Assignee before: Beijing Loongson Zhongke Technology Service Center Co., Ltd. |
|
LICC | Enforcement, change and cancellation of record of contracts on the licence for exploitation of a patent or utility model | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20071031 Assignee: Longxin Zhongke Technology Co., Ltd. Assignor: Institute of Computing Technology, Chinese Academy of Sciences Contract record no.: 2015990000066 Denomination of invention: MPU FPGA verification device supporting stochastic instruction testing Granted publication date: 20090408 License type: Common License Record date: 20150211 |
|
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20200820 Address after: 100095, Beijing, Zhongguancun Haidian District environmental science and technology demonstration park, Liuzhou Industrial Park, No. 2 building Patentee after: LOONGSON TECHNOLOGY Corp.,Ltd. Address before: 100080 Haidian District, Zhongguancun Academy of Sciences, South Road, No. 6, No. Patentee before: Institute of Computing Technology, Chinese Academy of Sciences |
|
EC01 | Cancellation of recordation of patent licensing contract | ||
EC01 | Cancellation of recordation of patent licensing contract |
Assignee: LOONGSON TECHNOLOGY Corp.,Ltd. Assignor: Institute of Computing Technology, Chinese Academy of Sciences Contract record no.: 2015990000066 Date of cancellation: 20200928 |
|
CP01 | Change in the name or title of a patent holder | ||
CP01 | Change in the name or title of a patent holder |
Address after: 100095 Building 2, Longxin Industrial Park, Zhongguancun environmental protection technology demonstration park, Haidian District, Beijing Patentee after: Loongson Zhongke Technology Co.,Ltd. Address before: 100095 Building 2, Longxin Industrial Park, Zhongguancun environmental protection technology demonstration park, Haidian District, Beijing Patentee before: LOONGSON TECHNOLOGY Corp.,Ltd. |