基于RISC-V架构的Spike缓存模型的设计和实现

使用基于精简指令集原则的指令架构(RISC-V)的指令集,针对现有Spike验证模型中的缓存写回功能的缺失问题,设计一种基于RISC-V指令集的现代超标量处理器缓存模型。基于现代高速缓存的基本原理,结合Spike验证模型,实现现代高速缓存的基本读写操作,并进行系统级芯片(SoC)环境下的仿真和验证,可作为微型电子芯片(IC)前端逻辑设计中的验证模型使用。该方案能够以较快的时间完成基于RISC-V指令集的大型SoC的设计与验证。

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

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

脉宽调制信号的自动校验算法设计与验证

文中设计一种脉冲宽度调制信号(PWM)的自动校验算法,该算法中主要提出系统函数时间计算法和寄存器读数计算法,分别用于计算PWM信号占空比并进行对比,实现自动校验。系统函数时间计算法是利用Verilog HDL内部库函数进行逻辑运算实现,寄存器读数计算法是利用PWM内部寄存器开放的配置进行计算实现。为实现两个占空比自动校验,对系统函数时间计算法的运算结果做取整处理,对寄存器读数计算法中的计算参数进行进制转换再运算,最后将两者数据进行比较。所设计算法可用于解决PWM正常功能(不带死区控制)、带死区功能、半周期增加功能和输出反转功能的自动校验问题。仿真结果表明,该算法可以实现不同功能点下PWM占空比的自动校验,准确高效,且能够提高验证效率。

基于公安交通管理业务人脸识别的关键测评技术研究

随着人脸识别技术的日趋完善,人脸识别技术被广泛应用于公安交通管理等多种重要场景中。尽管人脸识别技术已经取得了初步成效,但人脸识别算法好坏仍缺乏相应的权威测试与评价。用于于人脸模型训练、算法测试的人脸识别系统测试标准一般都关联相应的应用场景,由于缺乏系统化、标准化的面向公安交通管理邻域的人脸识别系统通用性能测试规范。因此,本文主要对公安交通管理的人脸识别场景进行了分析,旨在结合不同业务应用场景,根据行业内相关人脸识别相关规范,研究关键的测评技术方法及测评指标,搭建人脸识别各类场景测试库,从而进一步提高人脸识别系统在公安交通管理领域的应用成效。