Partners

Aldec Design and Verification Blog

Trending Articles
Partition your Design for FPGA Prototyping
Easily create partitions with HES-DVM

Modern ASIC and SoC designs have increased in complexity such that multiple FPGAs of the largest capacity are now required to prototype the entire functionality of the design. As design sizes increase, more and more...

Like(0) Comments (0) Read more
Zynq-based Embedded Development Kit for University Programs
Cost-effective solution for HW/SW development projects

Creativity and innovation, which lead the society to success, rest on the foundational institutions such as schools and universities. They provide fertile soil to seed, grow and flourish enterprises....

Like(0) Comments (0) Read more
Understanding the inner workings of UVM
UVM Basics Part 1 of 3

We have all been witnesses to the rapid improvements of the iPhone processor chip every year. With the iPhone 8 featuring the newest A11 Bionic at 10 nm FinFET with 4.3 billion transistors, I can’t personally fathom the amount...

Like(1) Comments (0) Read more
Synthesis of Energy-Efficient FSMs Implemented in PLD Circuits
Finite State Machines in low-power world

Well, summer has been and gone; and for most of us it was a time to relax and reflect on our working practices. What can we do to achieve better results? And what can we do to break out of the routine of working on so many revisions?...

Like(1) Comments (0) Read more
Don’t be a Slave to the Documentation

Are you a requirements engineer but your main goal is to provide well organized documentation? Do you have a great knowledge about the industry, business analysis and systems but you are struggling with the shape and look of your documentation?...

Like(0) Comments (0) Read more
Demystifying AXI Interconnection for Zynq SoC FPGA
Analyzing the interface between the processing unit and programmable logic in the Zynq architecture

Imagine traveling back in the time to the early human ages. It’s going to be both scary and interesting when you meet a person who probably cannot speak or if they do you won’t be able to understand them....

Like(0) Comments (0) Read more
Introduction to Zynq™ Architecture
A brief examination of the Zynq processing system and its programmable logic

The History of System-on-Chip (SoC) Do we prefer to have a small electronic device or a larger one? The answer will often be “the smaller one”. However, before the commercialization of small radios, many people were interested in having...

Like(0) Comments (0) Read more
Accelerating Simulation of Vivado Designs with HES
Improve verification speedup with Aldec’s HES-DVM

FPGA Design Verification Challenge The FPGA design and verification “ecosystem” changes rapidly to keep pace with the fast growing size of FPGA devices. The largest Xilinx Virtex UltraSCALE chips provide 4.4 Million logic cells...

Like(0) Comments (0) Read more
Traceability Matrices: Headache or Real Value

Traceability is becoming increasingly important in most engineering projects, if only on the grounds of ‘good practice’, and it is specifically required for projects that have to meet safety standards such as DO-254 and ISO 26262....

Like(2) Comments (0) Read more
FPGAs in an SoC World
How modern FPGA architecture influences verification methodologies

The SoC domination observed so far in the ASIC industry is coming to the FPGA world and changing the way FPGAs are used and FPGA projects are verified. The latest SoC FPGA devices offer a very interesting alternative of reprogrammable logic powered with the microprocessor, usually ARM. With new types of devices there is always a need for extended verification methodology. SoC ASIC has so far been the main pioneer for advanced and highly scalable verification methodologies. Due to the complexity and size of such projects, ASIC labs were actually driving EDA vendors to deliver verification solutions for their projects. With the growth of these projects, hardware emulation became a common tool which was then integrated with virtual platforms and labeled ‘hybrid co-emulation’. This hybrid solution offered a single verification platform for both software and hardware teams. Such platforms allow the performance of verification at the SoC level, allowing the entire project to be verified before the final design code is actually written and available for example, to perform the prototyping. Hybrid emulation allows the connection of the work environment of software teams using virtual platforms with the hardware engineers using emulators. Why is this so important? The issue is, until now the software portion of the project worked on the virtual models, separate from the hardware portion. Connecting these two domains allows for testing of the project at the SoC level instead of the subsystems level, which in turn increases the coverage of testing and enables the detection of problems much earlier.   Figure 1 - Hybrid co-emulation verification system.   Why is this so important for FPGAs? For a long time, it wasn’t. FPGA was the domain of hardware engineers, and software developers often didn’t even know what the FPGA was. A typical development and verification tool for FPGA was and still is an RTL simulator, even for SoC FPGA. BFM modules for interconnects like AMBA AXI were, so far, enough to bridge with the testbench. However the growth of SoC projects in FPGA size and complexity requires more. Simply stated, as FPGA projects become more complex, embedded operation systems for FPGA becomes standard, software developers start using FPGA, and there is a big demand to deliver an integrated work and verification platform for software developers and hardware engineers. This is the experience that is coming from ASIC verification methodologies. Which tools should be connected? Following the main requirement, which is to combine the software and hardware verification activities, we then need to connect a virtual platform and RTL simulator. One widely-used and well-known by software community example is QEMU, a generic and open-source machine emulator that supports various computer hardware architectures including ARM Cortex families. QEMU is used to emulate standard components like CPU subsystems and to run embedded software tests. When it comes to the RTL simulator, there are few well-known in the industry as Aldec Riviera-PRO. This solution guarantees thorough and comprehensive design verification at both the hardware and software sides without the need for dummy patches or for compromising the device driver or firmware code for an otherwise incomplete design. What does a verification flow with a virtual platform look like? The figure 2 below presents how such a flow might look and how it comperes to traditional, BFMs-only based flow. Figure 2 - QEMU Virtual Platform co-simulation with RTL simulator.   The main difference is such an environment allows the simulation of the entire SoC FPGA project instead of only the hardware. QEMU supports the processor subsystem modelling, while programmable logic is still simulated in the RTL simulator. This way the entire engineering team can work using one integrated environment and the same source code for all testing and debugging tasks. Also important, using QEMU as a testbench enables testing of the hardware with an operation system and drivers, as on the target platform. This generates much more complex and realistic test cases compared to standard testbenches, and allows debugging of detected errors before going to hardware which shortens the stage in the target board. Summary The methodology change is happening now. The complexity and multi-domain requirements of SoC projects have accelerated this change. The border between software and hardware in today’s electronics is very thin. Verification methods popular for ASIC projects are now migrating to FPGA, providing the most comprehensive development and verification work environment for all members of the project team. Table 1 compares how a verification platform can migrate from typical hardware-only simulation to virtual platform co-simulation and, as a reference, how close it is to most popular hybrid co-emulation used for ASIC designs. The verification functionality including debugging features offers the same capabilities, with the speed being a main difference limited by the RTL simulator kernel efficiency.     BFM only RTL simulation Virtual Platform and RTL simulator co-simulation Hybrid co-emulation Software engineer Not supported Supported Supported Hardware engineer Supported Supported Supported Software debug No Yes Yes Hardware debug Yes Yes Yes Speed Hz-kHz Hz-kHz MHz   Table 1.   In conclusion, due to increasing complexity of new FPGAs with embedded processors, efficient verification methodologies will be required that are capable of servicing the new features of the FPGA. The main function, from the methodology point of view, will be an integrated environment for all members of the project giving the abilities to develop, test, and debug at SoC level, not the sub-module level. FPGA is no longer a hardware domain only platform now with embedded processors and high level synthesis enabling FPGAs for the whole technology world. These elevated requirements will trigger new demands for the FPGA tools suited for the SoCs....

Like(3) Comments (1) Read more
Ask Us a Question
x

Ask Us a Question

x
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.