基于E语言和C参考模型的IP功能验证方案

提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾。使用这种方案可以有效地提高功能验证效率和质量,缩短设计周期,降低设计成本。

C3参考模型

介绍了一种C3规范的通用框架结构C3RM.它是基于国际标准组织(ISO)、开放系统互连(OSI)、参考模型(RM)的一种通用结构.为了适应通信类型的作用,C3RM包含了ISO,OSI,RM,对所有物理作用的关键类型都包含了相似的结构,并利用应用层以整合的方式为所有作用类型提供命令和控制.C3RM充实了很多已有的模型结构,为相关规范的发展、模块间彼此协作的实现,以及保护在模块重复利用技术上的投资提供了一个系统框架.

基于UVM 和ZeBu 的DVB-RCS2标准Turbo译码验证平台

本文提出了一种适用于DVB-RCS2标准提出的Turbo译码模块的验证平台。该平台基于UVM(Universal Verification Methodology)验证方法学,通过调用C参考模型,实现译码结果自动化比对并统计误包率,省略了用硬件语言编写参考模型的时间。同时,该平台集成了ZeBu硬件加速器,可选择性打开或关闭ZeBu开关。通过仿真验证比较,打开Zebu的仿真速度比关闭Zebu仿真速度提升了35倍,大大提升了仿真验证效率。

指挥控制概念、模型及价值链分析

通过分析历史上的经典战例,结合对指挥控制(Command and Control,C2)内涵解读,揭示成功的C2本质特征是:既源自时代,又超越时代。如今各类军事/非军事行动的主体、环境及相互关系均发生了巨大变化,这加剧了C2的复杂性和不确定性。由此,着重总结了西方学者近20年来在C2方面所取得的重大进展,提出了C2概念模型、建立网络使能的C2成熟度模型和C2敏捷性概念模型等;以空军“杀伤链”为例,剖析了由300多种/类的变量及其关系,到事件、决策和行动整个打击过程中的价值链映射。

一种可重用RISCV验证平台的设计与实现

随着全球芯片技术的飞速发展,处理器的性能逐渐成为了制约各公司前进的短板。而RISCV开源处理器是一种新的精简指令集架构,与其他处理器最大的不同之处在于:它采用模块化的指令集,更易于扩展和组装。然而,目前可重用RISCV的验证平台还不成熟,这可能会造成验证不够充分且效率低等问题。为此,文中设计一种基于通用验证方法学(UVM)的可重用RISCV验证平台。该平台使用UVM搭建一整套RISCV验证环境,包括随机汇编指令自动生成平台、GNU编译器套件(GCC)对汇编指令的编译、C++参考模型的运行、RISCV处理器的运行和结果监测、Python脚本对最终结果的比较以及代码和功能覆盖率的收集等。同时,利用VCS和Verdi等EDA工具对RISCV处理器进行仿真功能测试。结果表明,所搭建的验证环境能够快速、有效地验证RISCV设计的正确性,且可重用程度高,可以更加全面快速地完成RISCV处理器的验证工作。