#write_config_file RISCV_ARCH=rv32imc RISCV_ABI=ilp32 COREIP_MEM_WIDTH=32