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.

Controlling hardware design behavior using Python based machine learning algorithms

Accelerating Chip Design with Machine Learning: from Pre-Silicon to Post-Silicon

Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect

Optimizing Design Verification using Machine Learning: Doing better than Random

Opportunities of using artificial intelligence in hardware verification

Hardware as Policy: Mechanical and Computational Co-Optimization using Deep Reinforcement Learning

State of the art: hardware in the loop modeling and simulation with its applications in design, development and implementation of system and control software

Uncontrolled learning: co-design of neuromorphic hardware topology for neuromorphic algorithms

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

Hardware/Software Co-Design: Application Domains and Design Technologies

Effective Design Verification -- Constrained Random with Python and Cocotb

Formal Simulation and Visualisation of Hybrid Programs

Implementation of Machine Learning in VLSI Integrated Circuit Design

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

Formal Design, Verification and Implementation of Robotic Controller Software Via RoboChart and RoboTool

Chip-Chat: Challenges and Opportunities in Conversational Hardware Design

Automated Verification and Synthesis of Embedded Systems using Machine Learning

Safety assurance of an industrial robotic control system using hardware/software co-verification

Statistical Hardware Design With Multi-model Active Learning

Control Strategy and Simulation Verification of Hardware-in-the-loop System of Automotive Steering Device

Design Automation for Efficient Deep Learning Computing