hardware-bugbase's Introduction

Reproducible Hardware Bugs

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}
}

hardware-bugbase's People

Contributors

Stargazers

Watchers

hardware-bugbase's Issues

A possible bug about the verilator reproducing Makefile

Following the steps described in artifact README, I got the following error message:

~/asplos22-hardware-debugging-artifact/hardware-bugbase/d1-buffer-overflow-rsd$ make -j8
echo sources.txt
sources.txt
../../veripass/verilator/bin/verilator -cc -timescale-override 10ps/10ps -Wno-WIDTH -Wno-LITENDIAN -Wno-UNPACKED -Wno-BLKANDNBLK -Wno-CASEINCOMPLETE -Wno-CASEX -Wno-TIMESCALEMOD -Wno-BLKLOOPINIT -Wno-PINMISSING -Wno-ALWCOMBORDER -Wno-VLTAG -trace-fst -trace-structs -comp-limit-syms 0 -assert -trace-max-array 65536 -trace-max-width 65536 -F sources.txt -top-module ccip_std_afu_wrapper --Mdir work
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
        LANGUAGE = (unset),
        LC_ALL = (unset),
        LANG = "en_US.UTF-8"
    are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
make -C work -f Vccip_std_afu_wrapper.mk
make[1]: Entering directory '/home/jacy/asplos22-hardware-debugging-artifact/hardware-bugbase/d1-buffer-overflow-rsd/work'
Vccip_std_afu_wrapper.mk:52: /usr/local/share/verilator/include/verilated.mk: No such file or directory
make[1]: *** No rule to make target '/usr/local/share/verilator/include/verilated.mk'.  Stop.
make[1]: Leaving directory '/home/jacy/asplos22-hardware-debugging-artifact/hardware-bugbase/d1-buffer-overflow-rsd/work'
make: *** [Makefile:34: verilator] Error 2

Then I had a look at the makefile asplos22-hardware-debugging-artifact/hardware-bugbase/d1-buffer-overflow-rsd/work/Vccip_std_afu_wrapper.mk and found that there was a mis-definition

VERILATOR_ROOT = /usr/local/share/verilator

which was automatically generated by verilator.

So I turned to /asplos22-hardware-debugging-artifact/hardware-bugbase/d1-buffer-overflow-rsd/Makefile:33 and changed

$(MAKE) -C $(RTL_WORK_DIR) -f V$(TOP_MODULE).mk

$(MAKE) -C $(RTL_WORK_DIR) -f V$(TOP_MODULE).mk VERILATOR_ROOT=$(VERILATOR_ROOT)

in order to override the mis-definition automatically generated by verilator.

I'm wondering if this is a bug that need to be fixed or it just applies for my pc. If it could possibly happen again and needs to be fixed, I'm willing to make a pr.

Recommend Projects

efeslab / hardware-bugbase Goto Github PK

hardware-bugbase's Introduction

Reproducible Hardware Bugs

hardware-bugbase's People

Contributors

Stargazers

Watchers

Forkers

hardware-bugbase's Issues

A possible bug about the verilator reproducing Makefile

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent