config.ini
1 [RISCOF] 2 ReferencePlugin=spike_simple 3 ReferencePluginPath=./spike_simple 4 DUTPlugin=coreblocks 5 DUTPluginPath=./coreblocks 6 7 [coreblocks] 8 pluginpath=./coreblocks 9 PATH=../../../../ 10 ispec=./coreblocks/coreblocks_isa.yaml 11 pspec=./coreblocks/coreblocks_platform.yaml 12 target_run=0 13 14 [spike_simple] 15 pluginpath=./spike_simple 16 PATH=/spike/install/bin/ 17 ispec=./spike_simple/spike_simple_isa.yaml 18 pspec=./spike_simple/spike_simple_platform.yaml 19 compare_run=0