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
to
$(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
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.