This is part of the artifact of our paper "Debugging in the Brave New World of Reconfigurable Hardware". Please refer here for the full artifact, setup tutorials, and licenses.
This repository only include 20 reproducible bugs. For the full list of 68 bugs we studied in our paper, please refer here.
If you find our work interesting, please cite our paper.
@inproceedings{ma2022debugging,
title={Debugging in the Brave New World of Reconfigurable Hardware},
author={Ma, Jiacheng and Zuo, Gefei and Loughlin, Kevin and Zhang, Haoyang and Quinn, Andrew and Kasikci, Baris},
booktitle={Proceedings of the Twenty-Seventh International Conference on Architectural Support for Programming Languages and Operating Systems},
year={2022}
}
- axi-lite-s1
- axi-stream-s2
- axis-adapter-s3
- axis-async-fifo-c4
- axis-fifo-d4
- axis-fifo-d12
- axis-frame-fifo-d11
- axis-frame-len-d13
- axis-switch-d8
- fadd-d7
- zipcpu-spi-c1-c3-d9
We place two filelists in the above projects, sources_bug.txt and sources_oracle.txt
All projects need make SIM_SOURCES=source_bug