Abstract: We present a comparative case study for the Chipyard framework focusing on Register Transfer Level (RTL) simulations on a High-Performance Computer (HPC) cluster equipped with FPGA ...
To run these tests, you need Robot Framework, PyYAML and Jinja2 installed on your system. gen-tests is a script that generates Robot test files for each test in the tests directory. To generate and ...
This repository contains code to reproduce results from our ASPLOS'23 paper on "Simulator Independent Coverage for RTL Hardware Languages". Most results can be reproduced on a standard x86 Linux ...