面向CPU芯片的验证技术研究

CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性。     

基于FPGA μP IP的嵌入式系统

本文对通用微处理器MicroBlaze的系统结构加以介绍,并利用FPGA的MicroBlaze IP核进行嵌入式系统应用设计,从而实现SOPC(可编程系统芯片)。     

面向对称体系结构的FPGA仿真模型研究

缓慢的软件模拟器给体系结构研究带来了极大不便,FPGA硬件仿真的模拟速度很快,但仿真系统的规模严重受限于FPGA的容量.较大规模的体系结构系统仿真采用多片FPGA互连,不仅增加了设计的复杂性,也增加成本.因此提出一种面向对称体系结构的FPGA仿真模型.经仿真系统评估,其仿真系统能够增大FPGA芯片的仿真规模,减少仿真系统对FPGA资源的需求,有效支持在有限的FPGA资源上进行大规模对称体系结构仿真研究.     

面向FPGA芯片开发的测试方法设计与实现

针对自主研发的SOI-CMOS工艺FPGA芯片VS1000,开发出一种FPGA测试工具(VVK)软件系统.VVK是借助Verilog HDL描述电路和UCF约束电路的特性开发并实现的全自动测试方法.其意义在于解决了设计FPGA芯片过程中面临的最冗繁棘手的验证和测试难题,可以实现FPGA全芯片、内部各种逻辑模块的功能结构的验证和测试.该工具可以用于FPGA流片前的行为级、晶体管级的仿真和验证、FPGA圆片测试、以及FPGA芯片抗辐照测试.验证和测试的结果证明了这套方法的正确性、高效性,同时这种测试方法也适用于其他架构FPGA的测试.     

一种双核安全芯片仿真和验证平台的实现

本文先从FPGA验证板的制作说起,再分别介绍FPGA验证平台和ASIC仿真平台的搭建和测试,并着重阐述了两平台之间的异同点,全面简洁地阐述了双核安全芯片的整个验证测试流程。     

一种基于虚拟机的处理器高效原型验证方法

针对传统微处理器FPGA验证难以快速精确的定位错误的问题,提出了一种基于Simics虚拟机的高效原型验证方法,使用Simics辅助FPGA验证,快速定位错误来源.该方法已在龙腾R的FPGA验证平台中得到了应用.实践表明,该方法可以有效缩短问题查找时间,同时Simics仿真结果也能提供解决问题的思路.     

亚科鸿禹成为Tensilica原型验证合作伙伴

Tensilica日前宣布,位于北京的亚科鸿禹科技有限公司成为Tensilica最新SoC（片上系统）原型合作伙伴,在快速发展的中国市场,使其可以对Xtensa可配置处理器和钻石系列标准处理器内核进行模拟仿真。亚科鸿禹公司在设计Altera FPGA开发板方面具有独到的专业技术,在芯片生产之前,该FPGA开发板经常被用来对芯片设计进行原型验证。     

32位嵌入式RISC微处理器设计与实现

本文完成了32位嵌入式RISC微处理器设计,其指令系统与MIPS32兼容.文章着重研究了该处理器的指令系统与整体架构,给出了核心模块设计,并采用Mentor Graphics公司ModelSim进行了功能仿真.最后,采用Altera公司提出的灵活、高效的片上系统设计方案 SOPC,结合Altera公司的FPGA,设计了专用实验电路,对自行设计的32位嵌入式RISC微处理器进行了正确性验证.     

PON结构航空总线协议芯片仿真验证方法

针对基于PON结构的FC_AE航空总线协议芯片的验证需求与功能特性,提出了一种基于RTL级组网功能仿真验证的方法,阐述该方法下仿真验证平台测试用例模块、参考模型模块、结果检测器模块、验证平台整合模块的实现原理,最后,采用该方法搭建了FC_AE协议芯片的仿真验证环境,完成该芯片的仿真验证.该方法基于多种语言自动化验证平台,可从系统级与芯片级双通道验证芯片功能,有效的提高了验证效率,缩短了整个设计验证周期,为芯片的成功投片提供了可靠的保证.     

针对SoC的软硬件联合仿真方法

片上系统(System on Chip,SoC)是芯片设计的发展趋势,仿真与验证是芯片设计中最复杂、最耗时的环节之一。基于传统的数字电路验证方式对SoC设计验证效率低下的问题,提出了一种低耦合度的软/硬件联合仿真方法。软件调试过程的打印信息语句被微处理器仿真模型执行时,将向通用输入输出(General Purpose Input/Output,GPIO)输出相应的字符串,监视器模块检测GPIO的输出,并还原字符串信息,构建了软/硬件联合仿真。SoC设计实践证明,该方法大大减少了仿真的工作量,是一种非常实用有效的SoC仿真方法。