期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于VMT的DDR-SDRAM控制器功能验证 被引量:1
1
作者 高夫 杜学亮 金西 《计算机工程》 CAS CSCD 北大核心 2008年第4期263-265,274,共4页
介绍了一种基于验证模型技术(VMT)的DDR-SDRAM控制器的功能验证方案。该方案完成了DDR-SDRAM控制器对DDR-SDRAM模型的读写以及AHB 2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波... 介绍了一种基于验证模型技术(VMT)的DDR-SDRAM控制器的功能验证方案。该方案完成了DDR-SDRAM控制器对DDR-SDRAM模型的读写以及AHB 2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波形和覆盖率报告,实现控制器功能验证的快速收敛。FPGA原型验证进一步证明了该方案的可行性。 展开更多
关键词 验证模型技术 DDR—SDRAM控制器 VIP技术
下载PDF
基于VMT的USB2.0功能验证平台的设计与实现
2
作者 金君潇 王亚军 +3 位作者 黄朴 虞致国 顾晓峰 于宗光 《电子与封装》 2015年第6期23-27,43,共6页
针对大规模混合SoC功能验证速度慢的问题,在基于USB 2.0数据传输的SoC设计基础上,提出了一种能快速验证USB 2.0协议的功能验证平台。使用验证模型技术,通过硬件描述语言搭建了完整的协议验证平台,包括Vera语言编写的主机VIP、用Verilog... 针对大规模混合SoC功能验证速度慢的问题,在基于USB 2.0数据传输的SoC设计基础上,提出了一种能快速验证USB 2.0协议的功能验证平台。使用验证模型技术,通过硬件描述语言搭建了完整的协议验证平台,包括Vera语言编写的主机VIP、用Verilog语言编写的数字化USB收发器、串行接口引擎、端点缓存器、增强型8051核和外部程序存储器。完成了对USB 2.0底层协议的功能验证,包括高速握手协议、高速/全速设备枚举及高速/全速设备数据传输,实验仿真结果与USB 2.0协议规范完全符合。该平台能降低对USB 2.0接口进行功能协议一致性验证的难度,并有助于缩短大规模数模混合SoC的开发周期。 展开更多
关键词 USB 2.0 系统芯片 功能验证平台 验证模型技术
下载PDF
Biodegradation Kinetics for Pre-treatment of Klebsiella pneumoniae Waste with Autothermal Thermophilic Aerobic Digestion 被引量:2
3
作者 LIU Jingming SUN Dongdong +2 位作者 LIU Hui NIE Yingbin ZHU Zhirong 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2010年第6期905-909,共5页
Biodegradation parameters and kinetic characteristics for pre-treating waste strains of Klebsiella pneu-moniae were studied in laboratory scale with an insulated reactor by an innovative technique,autothermal thermo-p... Biodegradation parameters and kinetic characteristics for pre-treating waste strains of Klebsiella pneu-moniae were studied in laboratory scale with an insulated reactor by an innovative technique,autothermal thermo-philic aerobic digestion(ATAD) . Based on an Arrhenius-type equation,an empirical model was developed to corre-late the removal of total suspended solid(TSS) with the initial TSS concentration,influent reaction temperature,aeration rate and stirring rate. The reaction temperatures of the ATAD system could be raised from the ambient temperatures of 25 °C to a maximum temperature of 65 °C. The exponentials for the initial TSS concentration,aeration rate and stirring rate were 1.579,-0.8175 and-0.6549,respectively,and the apparent activation energy was 6.8774 kJ·mol-1. The correlation coefficient for the pre-exponential factor was 0.9223. The TSS removal effi-ciency predicted by the model was validated with an actual test,showing a maximum relative deviation of 10.79%. The new model has a good practicability. 展开更多
关键词 Klebsiella pneumoniae autothermal thermophilic aerobic digestion biodegradation kinetics empirical model
下载PDF
A general simulation model developing process based on five-object framework
4
作者 胡安斌 伞冶 +1 位作者 陈建明 陈永强 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2003年第4期380-384,共5页
Different paradigms that relate verification and validation to the simulation model have different development process. A simulation model developing process based on Five-Object Framework (FOF) is discussed in this p... Different paradigms that relate verification and validation to the simulation model have different development process. A simulation model developing process based on Five-Object Framework (FOF) is discussed in this paper. An example is given to demonstrate the applications of the proposed method. 展开更多
关键词 model SIMULATION FOF (Five-Object Framework)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部