CN104965750B - 基于Python语言的Rapidio切换器逻辑仿真验证平台及方法 - Google Patents
基于Python语言的Rapidio切换器逻辑仿真验证平台及方法 Download PDFInfo
- Publication number
- CN104965750B CN104965750B CN201510303882.3A CN201510303882A CN104965750B CN 104965750 B CN104965750 B CN 104965750B CN 201510303882 A CN201510303882 A CN 201510303882A CN 104965750 B CN104965750 B CN 104965750B
- Authority
- CN
- China
- Prior art keywords
- python
- systemc
- cadence
- run
- test case
- 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
- 238000000034 method Methods 0.000 title claims abstract description 49
- 238000004088 simulation Methods 0.000 title claims abstract description 32
- 238000012795 verification Methods 0.000 title claims abstract description 24
- 238000012360 testing method Methods 0.000 claims abstract description 41
- 230000006870 function Effects 0.000 claims abstract description 25
- 238000013515 script Methods 0.000 claims abstract description 16
- 230000008569 process Effects 0.000 claims description 28
- 230000007246 mechanism Effects 0.000 claims description 4
- 102000006479 Heterogeneous-Nuclear Ribonucleoproteins Human genes 0.000 claims description 3
- 108010019372 Heterogeneous-Nuclear Ribonucleoproteins Proteins 0.000 claims description 3
- 241000406668 Loxodonta cyclotis Species 0.000 claims 1
- 235000013399 edible fruits Nutrition 0.000 claims 1
- 230000001360 synchronised effect Effects 0.000 claims 1
- 230000005284 excitation Effects 0.000 abstract description 4
- 230000004044 response Effects 0.000 abstract description 4
- 238000013461 design Methods 0.000 description 4
- 238000005516 engineering process Methods 0.000 description 3
- 239000000203 mixture Substances 0.000 description 2
- 238000013473 artificial intelligence Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 238000000151 deposition Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000007774 longterm Effects 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
- Devices For Executing Special Programs (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
Description
Claims (2)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510303882.3A CN104965750B (zh) | 2015-06-05 | 2015-06-05 | 基于Python语言的Rapidio切换器逻辑仿真验证平台及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510303882.3A CN104965750B (zh) | 2015-06-05 | 2015-06-05 | 基于Python语言的Rapidio切换器逻辑仿真验证平台及方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN104965750A CN104965750A (zh) | 2015-10-07 |
CN104965750B true CN104965750B (zh) | 2017-11-10 |
Family
ID=54219785
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510303882.3A Active CN104965750B (zh) | 2015-06-05 | 2015-06-05 | 基于Python语言的Rapidio切换器逻辑仿真验证平台及方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104965750B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108829382A (zh) * | 2018-06-05 | 2018-11-16 | 北京中电华大电子设计有限责任公司 | 一种用Python建立参考模型提高自动化验证平台效率的方法 |
Families Citing this family (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106502851A (zh) * | 2016-11-11 | 2017-03-15 | 济南浪潮高新科技投资发展有限公司 | 一种生成功能验证中RapidIO二层协议解析模型的方法 |
CN108090239B (zh) * | 2016-11-23 | 2021-05-07 | 北京遥感设备研究所 | 一种基于tlm系统模型的分布式仿真方法 |
CN107329889B (zh) * | 2017-06-05 | 2021-01-19 | 芯海科技(深圳)股份有限公司 | 一种c编译器自动化测试的方法 |
CN109352645A (zh) * | 2018-09-28 | 2019-02-19 | 库壳教育科技有限公司 | 一种应用于机器人教育的简易编程方法及装置 |
CN109885902B (zh) * | 2019-01-29 | 2020-09-22 | 华南理工大学 | 一种基于Python语言的EDA开发平台系统及其使用方法 |
CN111460759A (zh) * | 2020-03-19 | 2020-07-28 | 华南理工大学 | 一种基于Python语言的EDA验证平台及其使用方法 |
CN112241347B (zh) * | 2020-10-20 | 2021-08-27 | 海光信息技术股份有限公司 | 实现SystemC验证的方法和验证平台组件架构 |
CN113238759B (zh) * | 2021-04-14 | 2023-02-03 | 西安电子科技大学 | 一种类Python程序设计语言XD-M的解释系统及方法 |
CN113051174B (zh) * | 2021-04-14 | 2022-07-26 | 卡斯柯信号有限公司 | 基于xddl生成仿真协议消息的方法 |
CN113343629B (zh) * | 2021-06-25 | 2023-02-28 | 海光信息技术股份有限公司 | 集成电路验证方法、代码生成方法、系统、设备和介质 |
CN113505066A (zh) * | 2021-07-09 | 2021-10-15 | 合肥肇观电子科技有限公司 | 用于验证被测试模块的方法以及验证系统 |
CN117332742B (zh) * | 2023-12-01 | 2024-02-23 | 芯动微电子科技(武汉)有限公司 | 一种芯片设计阶段的仿真验证方法和装置 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101515301A (zh) * | 2008-02-23 | 2009-08-26 | 炬力集成电路设计有限公司 | 一种片上系统芯片验证的方法和装置 |
CN104536885A (zh) * | 2014-12-17 | 2015-04-22 | 记忆科技(深圳)有限公司 | 一种生成Soc随机验证平台的方法 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7278056B2 (en) * | 2004-06-09 | 2007-10-02 | International Business Machines Corporation | Methods, systems, and media for management of functional verification |
KR101460665B1 (ko) * | 2008-07-16 | 2014-11-12 | 삼성전자주식회사 | 메모리 인터페이스를 사용한 SoC 디바이스 검증 모델 |
-
2015
- 2015-06-05 CN CN201510303882.3A patent/CN104965750B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101515301A (zh) * | 2008-02-23 | 2009-08-26 | 炬力集成电路设计有限公司 | 一种片上系统芯片验证的方法和装置 |
CN104536885A (zh) * | 2014-12-17 | 2015-04-22 | 记忆科技(深圳)有限公司 | 一种生成Soc随机验证平台的方法 |
Non-Patent Citations (2)
Title |
---|
A Python Based SoC Validation and Test Environment;Nicolas Tribie et al.;《https://www.designreuse.com/articles/15886/ aphytonbasedsocvalidationandtestenvironment.html》;20101204;第1-8页 * |
Case Study : Co-simulation and Co-emulation Environments based on SystemC & SystemVerilog;Myoung-Keun You et al.;《TENCON 2009-2009 IEEE Region 10 Conference》;20100122;第1-4页 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108829382A (zh) * | 2018-06-05 | 2018-11-16 | 北京中电华大电子设计有限责任公司 | 一种用Python建立参考模型提高自动化验证平台效率的方法 |
CN108829382B (zh) * | 2018-06-05 | 2021-09-21 | 北京中电华大电子设计有限责任公司 | 一种用Python建立参考模型提高自动化验证平台效率的方法 |
Also Published As
Publication number | Publication date |
---|---|
CN104965750A (zh) | 2015-10-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104965750B (zh) | 基于Python语言的Rapidio切换器逻辑仿真验证平台及方法 | |
CN109684681B (zh) | 应用uvm验证平台的高层次化验证方法 | |
Liu et al. | Pat 3: An extensible architecture for building multi-domain model checkers | |
US20210081258A1 (en) | Synthesis Path For Transforming Concurrent Programs Into Hardware Deployable on FPGA-Based Cloud Infrastructures | |
CN101763265B (zh) | 一种过程级软硬件协同设计自动化开发方法 | |
Leupers et al. | Virtual platforms: Breaking new grounds | |
CN106233251A (zh) | 元数据驱动的动态具体化 | |
CN105204393B (zh) | 基于虚核单片机的单片机生产研发工具及其实现方法 | |
CN104573287B (zh) | 基于界面绑定统一模型的数字仿真框架设计方法 | |
CN104750603A (zh) | 一种多核dsp软件仿真器及其物理层软件测试方法 | |
CN110149800A (zh) | 一种用于处理与源程序的源代码相关联的抽象语法树的装置 | |
CN108829400B (zh) | 一种iOS无须反复编译的渠道打包方法 | |
Pétrot et al. | On mpsoc software execution at the transaction level | |
CN109143953A (zh) | 一种基于中间语言的plc程序验证方法 | |
CN109213676A (zh) | 一种用于测试脚本的离线调试方法及装置 | |
Larsen et al. | Overture vdm-10 tool support: User guide | |
CN106970787A (zh) | 一种汽车控制器快速原型实现方法 | |
CN111460759A (zh) | 一种基于Python语言的EDA验证平台及其使用方法 | |
Fitzgerald et al. | Validation support for distributed real-time embedded systems in vdm++ | |
Patel et al. | Model-driven validation of SystemC designs | |
Gardner | Converging CSP specifications and C++ programming via selective formalism | |
Feng et al. | Design and application of reusable SoC verification platform | |
Helmstetter et al. | A comparison of two SystemC/TLM semantics for formal verification | |
Berthold | Explicit and implicit parallel functional programming: Concepts and implementation | |
Gardner | CSP++: an object-oriented application framework for software synthesis from CSP specifications |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20180802 Address after: 250100 S06 tower, 1036, Chao Lu Road, hi tech Zone, Ji'nan, Shandong. Patentee after: Shandong wave cloud Mdt InfoTech Ltd Address before: No. 1036, Shandong high tech Zone wave road, Ji'nan, Shandong Patentee before: Inspur Group Co., Ltd. |
|
CP03 | Change of name, title or address | ||
CP03 | Change of name, title or address |
Address after: 250100 No. 1036 Tidal Road, Jinan High-tech Zone, Shandong Province, S01 Building, Tidal Science Park Patentee after: Inspur cloud Information Technology Co., Ltd Address before: 250100 Ji'nan science and technology zone, Shandong high tide Road, No. 1036 wave of science and Technology Park, building S06 Patentee before: SHANDONG LANGCHAO YUNTOU INFORMATION TECHNOLOGY Co.,Ltd. |