Skip to content

Commit

Permalink
Add Include, Create Dockerfile for IVerilog Version
Browse files Browse the repository at this point in the history
  • Loading branch information
fkwilken committed Oct 31, 2023
1 parent 262fefc commit 464e5eb
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
6 changes: 6 additions & 0 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM efabless/dv:cocotb
WORKDIR /
RUN rm /usr/local/bin/iverilog
RUN apt install iverilog
# RUN git clone https://github.com/steveicarus/iverilog.git && cd iverilog && git checkout v10_3 && sh autoconf.sh && ./configure && make && make install && cd .. && rm -rf iverilog
CMD ["/bin/bash"];
2 changes: 1 addition & 1 deletion verilog/includes/includes.rtl.caravel_user_project
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,6 @@
-sv $(USER_PROJECT_VERILOG)/rtl/carp-lib/obi_qspi_controller/*
-sv -I $(USER_PROJECT_VERILOG)../openlane/macros -I $(USER_PROJECT_VERILOG)/rtl/include $(USER_PROJECT_VERILOG)/rtl/rtl/soc/modules/*
-sv -I $(USER_PROJECT_VERILOG)/rtl/include $(USER_PROJECT_VERILOG)/rtl/rtl/soc/soc.sv
-sv -I $(USER_PROJECT_VERILOG)/rtl/peripherals $(USER_PROJECT_VERILOG)/rtl/peripherals/Peripheral_Unit/*
-sv -I $(USER_PROJECT_VERILOG)/rtl/peripherals -I $(USER_PROJECT_VERILOG)/rtl/peripherals/Peripheral_Unit $(USER_PROJECT_VERILOG)/rtl/peripherals/Peripheral_Unit/*
-sv -I $(USER_PROJECT_VERILOG)/rtl/peripherals $(USER_PROJECT_VERILOG)/rtl/peripherals/*.sv

0 comments on commit 464e5eb

Please sign in to comment.