//+define+PRINTF_COND=1
+define+STOP_COND=0
+define+RANDOMIZE_MEM_INIT
+define+RANDOMIZE_REG_INIT
+define+RANDOMIZE_DELAY=1
+define+UART_HIGH_SPEED

// Caravel user project includes
-v $(USER_PROJECT_VERILOG)/rtl/user_project_wrapper.v	     

+incdir+$(USER_PROJECT_VERILOG)/rtl/marmot
-v $(USER_PROJECT_VERILOG)/rtl/marmot/Marmot.v
-v $(USER_PROJECT_VERILOG)/rtl/marmot/shc.marmotcaravel.MarmotCaravelChip.MarmotCaravelConfig.top.v
-v $(USER_PROJECT_VERILOG)/rtl/marmot/shc.marmotcaravel.MarmotCaravelChip.MarmotCaravelConfig.top.mems.sky130.v
-v $(USER_PROJECT_VERILOG)/rtl/marmot/plusarg_reader.v
-v $(USER_PROJECT_VERILOG)/rtl/marmot/SRLatch.v
 
-v $(USER_PROJECT_VERILOG)/lib/sky130_sram_1kbyte_1rw1r_32x256_8.v
//-v $(USER_PROJECT_VERILOG)/lib/sky130_sram_2kbyte_1rw1r_32x512_8.v

// SPI Flash model
+define+SPEEDSIM
-v $(USER_PROJECT_VERILOG)/dv/vip/MX25U3235F.v

// UART model
+incdir+$(USER_PROJECT_VERILOG)/dv/vip/uart
-v $(USER_PROJECT_VERILOG)/dv/vip/uart/uart_tb.v