Abstract:Digital designs complexity has exponentially increased in the last decades. Heterogeneous Systems-on-Chip integrate many different hardware components which require a reliable and scalable verification environment. The effort to set up such environments has increased as well and plays a significant role in digital design projects, taking more than 50% of the total project time. Several solutions have been developed with the goal of automating this task, integrating various steps of the Very Large Scale Integration design flow, but without addressing the exploration of the design space on both the software and hardware sides. Early in the co-design phase, designers break down the system into hardware and software parts taking into account different choices to explore the design space. This work describes the use of a framework for automating the verification of such choices, considering both hardware and software development flows. The framework automates compilation of software, cycle-true simulations and analyses on synthesised netlists. It accelerates the design space exploration exploiting the GNU Make tool, and we focus on ensuring consistency of results and providing a mechanism to obtain reproducibility of the design flow. In design teams, the last feature increases cooperation and knowledge sharing from single expert to the whole team. Using flow recipes, designers can configure various third-party tools integrated into the modular structure of the framework, and make workflow execution customisable. We demonstrate how the developed framework can be used to speed up the setup of the evaluation flow of an Elliptic-Curve-Cryptography accelerator, performing post-synthesis analyses. The framework can be easily configured taking approximately 30 min, instead of few days, to build up an environment to assess the accelerator performance and its resistance to simple power analysis side-channel attacks.

SoC Time to Market Improvement through Device Driver Reuse: An Industrial Experience

A System Verification Environment for Mixed-Signal SOC Design Based on IP Bus

A Test Architecture for Test Reuse in SOC Design

A System-Level SOC Verification Method Based on Hardware Accelerator

Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure

New methods of FPGA co-verification for system on chip (SoC)

A novel component-based hardware-software co-simulation system based on OR1200

Research on High Speed Mixed-Signal SoC Verification Based on NanoSim-VCS with a 4.8gb/s SerDes Transmitter

A Script-Based Cycle-True Verification Framework to Speed-Up Hardware and Software Co-Design: Performance Evaluation on ECC Accelerator Use-Case

Test Scheduling and Test Time Reduction for SoC by Using Enhanced Firefly Algorithm

Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs

A High-Throughput, High-Accuracy System-Level Simulation Framework for System on Chips

Review on Productivity Improvement of SoC Hardware Verification

System-on-Chip: Reuse and Integration

Test Time Reduction Reusing Multiple Processors in a Network-on-Chip Based Architecture

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification

Automatic Verification of Message-Based Device Drivers

Embedded Linux System Design for Hardware/software Co-Development

SOC test architecture design for efficient utilization of test bandwidth

A Case Study of Testing Strategy for AI SoC

A networks-on-chip emulation/verification framework