Reproduction Package for TACAS 2023 Article `Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator'

This artifact is a reproduction package for the manuscript “Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator” (TACAS ’23 submission 163).

It consists of source code, precompiled binaries, and input data used in the evaluation of the paper, as well as the results produced from the experiments. Specifically, it includes the source code of the Btor2C converter, the benchmark suite and the binaries of the hardware/software analyzers used in the evaluation, the raw data generated from the evaluation, scripts to run the experiments, and instructions for reproducing the tables and figures in the paper.

A full reproduction of the paper’s evaluation requires 2 CPU cores, 16 GB of memory, and about 3 months of CPU time. For demonstration purposes, a subset of the benchmark tasks will be used if 1 CPU core and 4 GB of memory are available.