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.

Research on verification techniques of high-performance ESCA coprocessor

Functional Verification of EPA Chip

Combinational Equivalence Checking Based on Circuit Topology Analysis

Research on SoC prototype verification technology

Implementation of High-Speed Verification Platform Based on Emulator for Redsp and Remap

An Approach to Enhance the Efficiency of RISC-V Verification Using Intelligent Algorithms

A Formal Verification Method for the SOPC Software

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

Architecture of a Post-Opc Silicon Verification Tool

A System-Level SOC Verification Method Based on Hardware Accelerator

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

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs

Software and Hardware Co-Verification of Embedded Microprocessor

Verifying Parallel Low-Level Programs for Multi-core Processor

A Vera Modeling Verification Method in Integrated Circuit

Design of SPARC V8 Based Transaction Level SoC Verification Platform

An innovative embedded logic analyzer based SoC verification platform

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

The Research and Implement of an Advanced Function Coverage Based Verification Environment

Hierarchical High Speed Testing and Verification of Chip-Multiprocessors

Fast Processor Simulation Model for SoC Function Verification