基于ARM SoC的FPGA原型验证

ARM是目前SoC设计中应用最为广泛的高性价比的RISC处理器,FPGA原型验证是SoC有效的验证途径,FPGA原型验证平台能以实时的方式进行软硬件协同验证,从而可以缩短SoC的开发周期,提高验证工作的可靠性,降低SoC系统的开发成本.     

基于FPGA的无线传感器网络SoC验证平台设计

基于FPGA的验证平台是SoC有效的验证途径,在流片前建立一个基于FPGA的高性价比的原型验证系统已成为SoC验证的重要方法。针对8位无线传感器网络SoC的设计要求,提出了一种高度集成化的FPGA功能验证平台。描述了以FPGA为核心的SoC验证系统的设计实现过程,并对SoC设计中的FPGA验证问题进行了分析和讨论。该验证平台结构简单,扩展灵活,提高了功能验证的效率和自动程度,缩短了开发周期,保证了SOC设计的可靠性。     

基于ARM7TDMI的SoC芯片的原型验证

验证是SoC（系统芯片）设计的重要环节,FPGA原型验证平台能以实时的方式进行软硬件协同验证,缩短SoC的开发周期,验证系统级芯片软硬件设计的正确性,降低SoC系统的开发成本。本文介绍了基于ARM7TDMI处理器核的SoC芯片设计项目,提出相应的FPGA软硬件协同设计与验证的方案,并在此SoC芯片开发过程中得以实施,取得良好效果。     

基于ARM7TDMI的SoC的FPGA验证平台的设计

针对片上系统(SoC)开发周期较长和现场可编程门阵列(FPGA)可重用的特点,设计了基于ARM7TDMI处理器核的SoC的百万门级FPGA验证平台。介绍了怎样设计平台并利用该平台进行IP核验证、底层硬件驱动和实时操作系统及高层应用软件的验证。使用该平台能够基本验证SoC系统的设计,并加快SoC系统的开发。整个系统原理清晰,结构简单,扩展灵活、方便。     

基于ARM7TDMI的SoC芯片的FPGA验证平台设计

针对片上系统(SoC)开发周期较长和现场可编程门阵列(FPGA)可重用的特点,设计了基于ARM7TDMI处理器核的SoC的FPGA验证平台,介绍了怎样利用该平台进行软硬件协同设计、IP核验证、底层硬件驱动和实时操作系统设计验证.使用该平台通过软硬件协同设计,能够加快SoC系统的开发.整个系统原理清晰,结构简单,扩展灵活、方便.     

一种双核SoC调试系统的设计与验证

调试系统的设计和验证是多核SoC设计中的重要环节。基于某双核SoC的设计,提出一个片上硬件调试构架,利用FPGA构建该调试系统的硬件验证平台。双核SoC调试系统验证平台利用System Verilog DPI,将RealView调试器、Keil C51及目标芯片的验证testbench集成在一起,实现了双核SoC调试系统的RTL级调试验证。利用该平台,在RTL仿真验证阶段可方便地对ARM和8051核构成的双核SoC进行调试,解决仿真中出现的问题,从而有效缩短设计周期,并提高验证效率。该双核SoC调试系统验证平台的实现对其他系统芯片设计具有一定的参考价值。     

基于硬件的嵌入式SoC软硬件协同验证方法

本文介绍了在Riviera—IPT环境中进行基于ARM的SoC设计验证所需的技术背景。主要讨论包括关于嵌入式系统SoC的验证、ARM结构体系的基本描述；最后介绍如何利用Riviera—IPT完成基于ARM嵌入式系统的软硬件系统协同验证环境与流程。     

基于FPGA的SoC原型验证的设计与实现

在SoC开发过程中,基于FPGA的原型验证是一种有效的验证方法,它不仅能加快SoC的开发,降低SoC应用系统的开发成本,而且提高了流片的成功率.文章主要描述了基于FPGA的SoC原型验证的设计与实现,针对FPGA基验证中存在的问题进行了分析并提出了解决方案.     

采用系统级门阵列优化SoC设计成本

系统级门阵列是一种基于ARM CPU芯核开发SoC设计的方法。本文介绍了系统级门阵列概念、开发板及其基于ARMCPU芯核的系统级芯片。     

月度新品总汇

CPU/SoC/MCUARMADA 375:SoCMarvel推出了Marvell ARMADA375 SoC,该系统为双核Cortex A9 SoC平台,建立在内置ARM处理器ARMADA370和ARMADA XP系列产品基础之上,应用于企业连网。ARMADA 375 SoC芯片主频有800MHz和1GHz两种,包括多款1/0外部设备,这些外部设备实现了无缝的设备整合,在外形小巧的系统设计上提供高性能。通过部署先进设计方法,ARMADA 375 SoC芯片通过全面优化,具有高性价比、低功耗等优势,适用于大量应用环境,包     

基于ARCA3 CPU的嵌入式SoC的FPGA原型验证

基于FPGA的验证是SoC功能验证的有效途径,建立一个基于FPGA的原型验证系统已成为SoC验证的重要方法.ARCA3是一种高性能、低功耗,国产的嵌入式微处理器.在ARCA3和AMBA架构上集成存储器控制器等IP核和外设,构建一个嵌入式SoC,并在FPGA上实现SoC的原型验证系统和软硬件协同验证环境.在FPGA原型机上运行Bootloader和操作系统,验证整个系统硬件的可操作性和软硬件之间的交互.基于FPGA的原型验证系统的实现可以快速验证基于ARCA3的各种抽象层次的IP核和开发基于ARCA3的软件应用.     

Pre-Silicon Verification Using Multi-FPGA Platforms: A Review

Because of the shrinking transistor size and improved design process, the computation capability of modern digital systems has increased tremendously over the past few years. This, however, has led to increased design complexity and huge verification efforts and costs. The design of new digital systems costs millions of dollars and the money is wasted if the final product does not serve the purpose. This has made pre-silicon verification even more pertinent as it can detect design faults prior to its roll out and can save companies a huge fortune. Pre-silicon verification now accounts for almost 70% of the total design effort and cost of modern digital systems. For pre-silicon verification, four techniques are commonly used namely simulation, emulation, virtual prototyping and FPGA-based prototyping. These techniques have their advantages and disadvantages. However, FPGA-based prototyping is unique in the sense it gives better speed and real world testing experience as compared to other pre-silicon verification techniques. In this paper, we give a detailed survey of multi-FPGA prototyping. A survey of three different multi-FPGA platforms namely off-the-shelf, custom, and cabling platform is presented in this work. A comprehensive overview of these platforms from hardware perspective is presented. Detailed discussion on their respective back end flow and the associated difference is also presented. The survey is concluded with a discussion on the challenges faced by multi-FPGA prototyping and the research opportunities where work can be done for further improvement.

     

基于AMBA总线的相控阵雷达波控SoC设计

针对相控阵雷达波控系统高速、小型化、集成化的发展趋势,提出了一种基于ARM核和先进微控制器总线架构的波控片上系统方案,对主要组成模块的设计和验证方法进行了详细描述。验证结果表明,波控片上系统结合了硬件运算模块高速和软件设计灵活的特点,可满足各种相控阵雷达不同工作方式的需求。     

SoC interconnection protection through formal verification

The wide adoption of third-party hardware Intellectual Property (IP) cores including those from untrusted vendors have raised security concerns for system designers and end-users. Existing approaches to ensure the trustworthiness of individual IPs rarely consider the entire SoC design, especially the IP interactions through SoC bus. These methods can hardly identify malicious logic (or design flaws) distributed in multiple IPs whereas individual IPs fulfill security properties and can pass the security testing/verification. One possible solution is to treat the SoC as one IP core and try to verify security properties of the entire design. This method, however, suffers from scalability issues due to the large size of SoC designs with multiple IP cores integrated. In this paper, we present a scalable SoC bus verification framework trying to verify the security properties of SoC bus implementation where the bus protocol plays the role of the golden reference. More specifically, finite state machine (FSM) models will be constructed from the bus implementation and the trustworthiness will be verified based on the property set derived from the bus protocol and potential security threats. Along with IP level formal verification solutions, the proposed framework can help ensure the security of large-scale SoCs. Experimental results on ARM AMBA Bus demonstrate that our approach is applicable and scalable to prevent information leakage and denial-of-service (DoS) attack by verifying security properties.     

一种在电路SOC验证接口设计方法研究

SoC已经成为嵌入式系统设计中的关键器件,验证又是SoC设计的关键环节,占用SoC设计过程中60%以上的时间.专用测试设备及JTAG接口等主流SoC验证手段不便于SoC在系统联调时的验证.本文介绍了一种在电路SoC验证接口的设计方法,这种验证方法弥补了主流SoC验证方法在系统验证的不足,提高了SoC验证的效率.     

Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform

Hardware/software covalidation is becoming one of the most critical issues in current System-on-Chip (SoC) design. Nowadays, covalidation is usually performed by cosimulation which is slow and lacks accuracy. The other alternative is to build a hardware prototype specific to the application. However, this alternative is expensive in terms of time, man-power, and cost. As SoCs increase in complexity, validation becomes more and more difficult, time consuming and error prone. Thus, a new approach for covalidation is inescapable. In this paper, we present a novel efficient prototyping approach for complex SoC covalidation. The proposed approach enables systematic prototyping of embedded applications on a reconfigurable platform. The process starts from the RT level model of the application. The application and the reconfigurable platform have to be adapted to obtain the prototype. We decompose the prototyping process into four steps, in order to match the application and the platform. Besides, we propose adapted solutions to deal with constraints typically encountered in existing reconfigurable platforms. The main advantages of this method are: fast and accurate validation, systematic prototyping flow, and large application field. Prototyping of a subset of VDSL using the ARM Integrator platform illustrates the effectiveness of our approach.