Skip to content

Commit

Permalink
target: Disable common cells assertions in Verilator (#119)
Browse files Browse the repository at this point in the history
  • Loading branch information
colluca authored Mar 18, 2024
1 parent cdf4f6e commit f6839d8
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
8 changes: 5 additions & 3 deletions target/common/common.mk
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,9 @@ MATCH_END := '/+incdir+/ s/$$/\/*\/*/'
MATCH_BGN := 's/+incdir+//g'
SED_SRCS := sed -e ${MATCH_END} -e ${MATCH_BGN}

VSIM_BENDER += -t test -t rtl -t simulation -t vsim
COMMON_BENDER_FLAGS += -t rtl

VSIM_BENDER += $(COMMON_BENDER_FLAGS) -t test -t simulation -t vsim
VSIM_SOURCES = $(shell ${BENDER} script flist ${VSIM_BENDER} | ${SED_SRCS})
VSIM_BUILDDIR ?= work-vsim
VSIM_FLAGS += -t 1ps
Expand All @@ -60,15 +62,15 @@ endif

# VCS_BUILDDIR should to be the same as the `DEFAULT : ./work-vcs`
# in target/snitch_cluster/synopsys_sim.setup
VCS_BENDER += -t test -t rtl -t simulation -t vcs
VCS_BENDER += $(COMMON_BENDER_FLAGS) -t test -t simulation -t vcs
VCS_SOURCES = $(shell ${BENDER} script flist ${VCS_BENDER} | ${SED_SRCS})
VCS_BUILDDIR := work-vcs

# fesvr is being installed here
FESVR ?= ${MKFILE_DIR}work
FESVR_VERSION ?= 35d50bc40e59ea1d5566fbd3d9226023821b1bb6

VLT_BENDER += -t rtl
VLT_BENDER += $(COMMON_BENDER_FLAGS) -DCOMMON_CELLS_ASSERTS_OFF
VLT_SOURCES = $(shell ${BENDER} script flist ${VLT_BENDER} | ${SED_SRCS})
VLT_BUILDDIR := work-vlt
VLT_FESVR = $(VLT_BUILDDIR)/riscv-isa-sim
Expand Down
4 changes: 1 addition & 3 deletions target/snitch_cluster/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -61,9 +61,7 @@ CFG = cfg/lru.hjson
# Simulator options #
#####################

VSIM_BENDER += -t snitch_cluster
VLT_BENDER += -t snitch_cluster
VCS_BENDER += -t snitch_cluster
COMMON_BENDER_FLAGS += -t snitch_cluster

QUESTA_64BIT = -64
VLOG_64BIT = -64
Expand Down

0 comments on commit f6839d8

Please sign in to comment.