Abstract:Virtual Prototypes act as an executable specification model, offering a unified behavior reference model for SW and HW engineers. However, between the VP and the HW still exists a gap, as the step from an architectural level VP implementation on the Transaction Level Modeling to the Register Transfer Layer implementation is considerably big. Especially when a company wants to focus on their Unique Selling-Point, the HW Design Space Exploration and acceptance tests should start as early as possible. Traditionally, this can only start once the rest of the System-on-Chip is also implemented in the RTL. As SoCs consist of many common subsystems like processors, memories, and peripherals, this may impact the time-to-market considerably. This is avoidable, however: In this paper we propose a Hardware-in-the-Loop strategy that allows to bridge the gap between the VP and RTL design that empowers engineers to focus on their USP while leveraging an existing suite of TLM Intellectual Properties for the common base-system components. We show how VPs and partial RTL implementations of a SoC can be combined in a Hardware-in-the-Loop simulation environment utilizing Field-Programmable Gate Arrays. The proposed approach allows early DSE, validation, and verification of SoC subsystems, which bridges the TLM/RTL gap. We evaluate our approach with a lightweight implementation of the proposed protocol, and three case-studies with real-world peripherals and accelerators on HW. Furthermore, we assess the capabilities of our approach and offer practical considerations for engineers utilizing this HIL approach for SoC design; and finally propose further extensions that can boost the approach for specialized applications like high-performance accelerators and computation.

Track Down HW Function Faults Using Real SW Invariants

THE IMPLEMENTATION OF FAULTS DEBUGGING AND DETECTION BASED ON VXWORKS

Design for HW/SW Co-Testing Based on FPGA

Design and Test of Hardware-in-the-loop Platform for Vehicle Chassis CAN System with Intermittent Open and Short Connection Faults

Hardware/Software Co-monitoring

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs

Simics-based System Level Fault Injection Platform

A Cycle-Accurate Soft Error Vulnerability Analysis Framework for FPGA-based Designs

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?

Deadlock Detection in FPGA Design: A Practical Approach

Hardware/Software Co-verification Using Path-based Symbolic Execution

Invariant Detection with Program Verification Tools

Research of an Error-tolerant Technique Based on Hybrid of Hardware and Software

HLIFT: A High-Level Information Flow Tracking Method for Detecting Hardware Trojans

When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs

Using Formal Verification to Evaluate Single Event Upsets in a RISC-V Core

Hardware/Software Co-Simulation for Last Level Cache Exploration

Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap

Using model checker and replay facility to debug complex distributed system

Study of Fault-Injection for FPGA Based Fault-Tolerant Computer

An SVA Hardware Monitor with Off-Line Replay