CN101063979A - 一种支持随机指令测试的微处理器fpga验证装置 - Google Patents
一种支持随机指令测试的微处理器fpga验证装置 Download PDFInfo
- Publication number
- CN101063979A CN101063979A CN 200610011814 CN200610011814A CN101063979A CN 101063979 A CN101063979 A CN 101063979A CN 200610011814 CN200610011814 CN 200610011814 CN 200610011814 A CN200610011814 A CN 200610011814A CN 101063979 A CN101063979 A CN 101063979A
- 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.)
- Granted
Links
- 238000012360 testing method Methods 0.000 title claims description 29
- 238000012795 verification Methods 0.000 title claims description 17
- 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
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
Description
Claims (5)
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 true CN101063979A (zh) | 2007-10-31 |
CN100476837C 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) |
Cited By (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833491A (zh) * | 2010-04-26 | 2010-09-15 | 浪潮电子信息产业股份有限公司 | 一种节点互连系统链路检测电路的设计与fpga实现方法 |
CN101320344B (zh) * | 2008-07-07 | 2010-10-13 | 中国科学院计算技术研究所 | 一种多核或众核处理器功能验证设备及方法 |
CN101980223A (zh) * | 2010-11-04 | 2011-02-23 | 浙江大学 | 应用于处理器结构和电路设计的功耗-性能优化方法 |
CN102142050A (zh) * | 2011-03-01 | 2011-08-03 | 浪潮(北京)电子信息产业有限公司 | 一种高端容错计算机单结点原型验证系统及验证方法 |
CN102299820A (zh) * | 2011-08-26 | 2011-12-28 | 于辉 | 一种盟员节点装置及hla系统构架的实现方法 |
CN102567149A (zh) * | 2010-12-09 | 2012-07-11 | 上海华虹集成电路有限责任公司 | Soc系统验证方法 |
CN102667781A (zh) * | 2010-10-06 | 2012-09-12 | 艺术系统软件有限责任公司 | 用于计算混合微分代数过程模型的状态参量的方法和过程计算机 |
CN102841836A (zh) * | 2012-08-28 | 2012-12-26 | 华为技术有限公司 | 测试方法以及可编程处理器 |
CN104363141A (zh) * | 2014-11-25 | 2015-02-18 | 浪潮(北京)电子信息产业有限公司 | 一种基于处理器系统的fpga验证方法及系统 |
CN104735371A (zh) * | 2015-03-25 | 2015-06-24 | 北京空间机电研究所 | 一种基于ccd数字模型的用于仿真的数据源建立方法 |
CN107644137A (zh) * | 2017-09-26 | 2018-01-30 | 郑州云海信息技术有限公司 | 一种对接接口定义检查方法及系统 |
CN111090576A (zh) * | 2018-10-23 | 2020-05-01 | Arm有限公司 | 基于代码的有向序列和随机选择指令生成代码的测试序列 |
CN111339731A (zh) * | 2020-01-21 | 2020-06-26 | 中国人民解放军军事科学院国防科技创新研究院 | 一种面向SoC的FPGA验证平台和验证方法 |
CN111930578A (zh) * | 2020-07-14 | 2020-11-13 | 杭州电子科技大学 | 一种基于fpga的板载ddr带宽测试方法及系统 |
US11099958B2 (en) | 2019-03-19 | 2021-08-24 | Hewlett Packard Enterprise Development Lp | Instruction generation for validation of processor functionality |
CN115033442A (zh) * | 2022-07-05 | 2022-09-09 | 天津普智芯网络测控技术有限公司 | 一种fpga的测试系统及方法 |
Family Cites Families (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核仿真验证平台及其验证方法 |
-
2006
- 2006-04-28 CN CNB2006100118140A patent/CN100476837C/zh active Active
Cited By (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101320344B (zh) * | 2008-07-07 | 2010-10-13 | 中国科学院计算技术研究所 | 一种多核或众核处理器功能验证设备及方法 |
CN101833491A (zh) * | 2010-04-26 | 2010-09-15 | 浪潮电子信息产业股份有限公司 | 一种节点互连系统链路检测电路的设计与fpga实现方法 |
CN101833491B (zh) * | 2010-04-26 | 2012-10-24 | 浪潮电子信息产业股份有限公司 | 一种节点互连系统链路检测电路的设计与fpga实现方法 |
CN102667781B (zh) * | 2010-10-06 | 2014-11-26 | 艺术系统软件有限责任公司 | 用于计算混合微分代数过程模型的状态参量的方法和过程计算机 |
CN102667781A (zh) * | 2010-10-06 | 2012-09-12 | 艺术系统软件有限责任公司 | 用于计算混合微分代数过程模型的状态参量的方法和过程计算机 |
CN101980223A (zh) * | 2010-11-04 | 2011-02-23 | 浙江大学 | 应用于处理器结构和电路设计的功耗-性能优化方法 |
CN101980223B (zh) * | 2010-11-04 | 2012-03-14 | 浙江大学 | 应用于处理器结构和电路设计的功耗-性能优化方法 |
CN102567149B (zh) * | 2010-12-09 | 2016-03-23 | 上海华虹集成电路有限责任公司 | Soc系统验证方法 |
CN102567149A (zh) * | 2010-12-09 | 2012-07-11 | 上海华虹集成电路有限责任公司 | Soc系统验证方法 |
CN102142050A (zh) * | 2011-03-01 | 2011-08-03 | 浪潮(北京)电子信息产业有限公司 | 一种高端容错计算机单结点原型验证系统及验证方法 |
CN102299820B (zh) * | 2011-08-26 | 2014-07-23 | 于辉 | 一种盟员节点装置及hla系统构架的实现方法 |
CN102299820A (zh) * | 2011-08-26 | 2011-12-28 | 于辉 | 一种盟员节点装置及hla系统构架的实现方法 |
CN102841836A (zh) * | 2012-08-28 | 2012-12-26 | 华为技术有限公司 | 测试方法以及可编程处理器 |
CN102841836B (zh) * | 2012-08-28 | 2016-06-08 | 华为技术有限公司 | 测试方法以及可编程处理器 |
CN104363141A (zh) * | 2014-11-25 | 2015-02-18 | 浪潮(北京)电子信息产业有限公司 | 一种基于处理器系统的fpga验证方法及系统 |
CN104363141B (zh) * | 2014-11-25 | 2017-12-12 | 浪潮(北京)电子信息产业有限公司 | 一种基于处理器系统的fpga验证方法及系统 |
CN104735371A (zh) * | 2015-03-25 | 2015-06-24 | 北京空间机电研究所 | 一种基于ccd数字模型的用于仿真的数据源建立方法 |
CN104735371B (zh) * | 2015-03-25 | 2017-09-29 | 北京空间机电研究所 | 一种基于ccd数字模型的用于仿真的数据源建立方法 |
CN107644137A (zh) * | 2017-09-26 | 2018-01-30 | 郑州云海信息技术有限公司 | 一种对接接口定义检查方法及系统 |
CN111090576A (zh) * | 2018-10-23 | 2020-05-01 | Arm有限公司 | 基于代码的有向序列和随机选择指令生成代码的测试序列 |
US11099958B2 (en) | 2019-03-19 | 2021-08-24 | Hewlett Packard Enterprise Development Lp | Instruction generation for validation of processor functionality |
CN111339731A (zh) * | 2020-01-21 | 2020-06-26 | 中国人民解放军军事科学院国防科技创新研究院 | 一种面向SoC的FPGA验证平台和验证方法 |
CN111930578A (zh) * | 2020-07-14 | 2020-11-13 | 杭州电子科技大学 | 一种基于fpga的板载ddr带宽测试方法及系统 |
CN115033442A (zh) * | 2022-07-05 | 2022-09-09 | 天津普智芯网络测控技术有限公司 | 一种fpga的测试系统及方法 |
Also Published As
Publication number | Publication date |
---|---|
CN100476837C (zh) | 2009-04-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN100476837C (zh) | 一种支持随机指令测试的微处理器fpga验证装置 | |
CN112580295B (zh) | 多核SoC芯片的自动化验证方法、系统及装置 | |
CN102508753B (zh) | Ip核验证系统 | |
CN115841089B (zh) | 一种基于uvm的系统级芯片验证平台及验证方法 | |
US6678625B1 (en) | Method and apparatus for a multipurpose configurable bus independent simulation bus functional model | |
US8532975B2 (en) | System and method implementing a simulation acceleration capture buffer | |
WO2011020080A1 (en) | An integrated dma processor and pci express switch for a hardware-based functional verification system | |
CN107015914B (zh) | 数据标定方法及系统 | |
CN113486625B (zh) | 芯片的验证方法与验证系统 | |
CN115146568A (zh) | 一种基于uvm的芯片验证系统及验证方法 | |
CN116414526B (zh) | 一种基于虚拟机的仿真装置和方法 | |
CN1725188A (zh) | 逻辑验证系统及方法 | |
CN1609862A (zh) | 基于pci总线的ip核仿真验证平台及其验证方法 | |
US6567934B1 (en) | Method and apparatus for verifying multiprocessing design in a unit simulation environment | |
CN103713977B (zh) | 一种微处理器ip核比较验证的实现方法 | |
CN112764981B (zh) | 一种协同测试系统及方法 | |
CN112068942B (zh) | 一种基于单节点模拟的大规模并行系统模拟方法 | |
CN110727611B (zh) | 一种带状态监测的可配置一致性验证系统 | |
CN112699041A (zh) | 一种嵌入式软件自动部署方法、系统及设备 | |
JP2001209556A (ja) | 検証支援システム | |
CN113496108B (zh) | 一种应用于仿真的cpu模型 | |
CN114265786A (zh) | 自动化测试方法、装置,计算机设备及可读存储介质 | |
CN113792522A (zh) | 仿真验证方法、装置及计算设备 | |
Li | Computer embedded automatic test system based on VxWorks | |
Yeh et al. | Optimizing the simulation speed of qemu and systemc-based virtual platform |
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 |
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 |
|
TR01 | Transfer of patent right | ||
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 |
|
EC01 | Cancellation of recordation of patent licensing contract | ||
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. |