一种基于PLI和Simics的微处理器协同验证平台

面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果显示该平台有效增加了验证人员对验证过程的可观测性和可控性,具有灵活性高,仿真速度快等特点.

基于C++ TCL PLI联合仿真下的芯片验证方法研究

提出一套分层次的芯片验证架构理论和基于此验证架构下的各个验证组件的构造原理,并且描述了具体实现的方法。介绍使用C语言扩展TCL脚本语言的方法以及使用C语言扩展Verilog语言的PLI方法,通过使用共享缓存技术实现了验证组件的互联。最后基于Modelsim仿真工具编程实现了C++,TCL和PLI联合仿真验证环境的搭建。为目前芯片验证方法提出了一套现实的解决方案。

基于PLI的AC97 Codec快速仿真模型设计

随着数字系统日趋复杂,仿真的时间也越来越长。文中针对AC97的仿真提出了一种加快其仿真速度的方案:设计AC97 Codec的快速仿真模型,即使用Verilog PLI(程序语言接口)设计AC97 Codec数字接口部分周期精确的仿真模型来加速仿真。相对于Verilog,Verilog PLI具有可以灵活地处理数组和存储器、过程控制能力强、可以灵活地处理数据流和控制流等优点,因此便于高层建模。该方案具有通用性强、易于实现、开销低等优点,同时加速效果明显,仿真时间减少了约35%。

MATLAB Simulink和VerilogHDL协同进行高水平仿真的探索

本文通过一个实例,简要地介绍了我们怎样利用MATLAB Simulink这一通用的数学工具软件包,把描述硬件逻辑电路行为或结构的Verilog模块,通过Verilog PLI(编程语言接口),融合到一个统一的仿真环境中,来提高电路仿真水平的有益探索。本文可以使读者对如何在现有软件工具的基础上,开发和扩展复杂电路系统高级仿真环境的技术细节有所了解。