1
0
mirror of https://github.com/olofk/serv.git synced 2026-02-26 08:13:40 +00:00

Expose WITH_CSR and RESET_STRATEGY in core file

This commit is contained in:
Olof Kindgren
2021-01-26 20:59:49 +01:00
parent 6fbdea58d6
commit 308612fd9e

View File

@@ -24,7 +24,11 @@ filesets:
targets:
default:
filesets : [core]
parameters : [RISCV_FORMAL, SERV_CLEAR_RAM]
parameters :
- "is_toplevel? (RESET_STRATEGY)"
- RISCV_FORMAL
- SERV_CLEAR_RAM
- "is_toplevel? (WITH_CSR)"
toplevel : ["is_toplevel? (serv_rf_top)"]
lint:
@@ -36,6 +40,10 @@ targets:
toplevel : serv_rf_top
parameters:
RESET_STRATEGY:
datatype : str
paramtype : vlogparam
RISCV_FORMAL:
datatype : bool
paramtype : vlogdefine
@@ -44,3 +52,6 @@ parameters:
datatype : bool
paramtype : vlogdefine
WITH_CSR:
datatype : int
paramtype : vlogparam