Add BSC protections to the hardware makefile.

2022-02-23 11:43:41 +00:00
parent c17874bdba
commit 28646b252d
1 changed files with 1 additions and 0 deletions
--- a/src_SSITH_P3/Makefile
+++ b/src_SSITH_P3/Makefile
@@ -39,6 +39,7 @@ BSC_COMPILATION_FLAGS += \
 	-D MEM64 \
 	-D RISCV \
 	-D TSO_MM \
+	-D NO_SPEC_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D NO_SPEC_RSB_PUSH \
 	-D INCLUDE_GDB_CONTROL \
 	-D BRVF_TRACE \
 	-D XILINX_BSCAN  -D JTAG_TAP