github-mirrors/serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2025-04-20 03:47:09 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Use serv_rf_top in default and lint targets

Browse source
This commit is contained in:
Olof Kindgren 2019-12-05 22:35:14 +01:00
parent e93fd0d30e
commit 68d8af71f2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
serv.core
View file

@ -27,7 +27,7 @@ targets:
default:
filesets : [core]
parameters : [RISCV_FORMAL, SERV_CLEAR_RAM]
toplevel : ["is_toplevel? (serv_top)"]
toplevel : ["is_toplevel? (serv_rf_top)"]
lint:
default_tool : verilator
@ -35,7 +35,7 @@ targets:
tools:
verilator:
mode : lint-only
toplevel : serv_top
toplevel : serv_rf_top
parameters:
RISCV_FORMAL: