CAPI=2:

name : ::serv:1.0.1

filesets:
  core:
    files:
      - rtl/serv_params.vh : {is_include_file : true}
      - rtl/ser_shift.v
      - rtl/serv_bufreg.v
      - rtl/serv_alu.v
      - rtl/serv_csr.v
      - rtl/serv_ctrl.v
      - rtl/serv_decode.v
      - rtl/serv_mem_if.v
      - rtl/serv_rf_if.v
      - rtl/serv_rf_ram_if.v
      - rtl/serv_rf_ram.v
      - rtl/serv_state.v
      - rtl/serv_top.v
      - rtl/serv_rf_top.v
    file_type : verilogSource

targets:
  default:
    filesets : [core]
    parameters : [RISCV_FORMAL, SERV_CLEAR_RAM]
    toplevel : ["is_toplevel? (serv_rf_top)"]

  lint:
    default_tool : verilator
    filesets : [core]
    tools:
      verilator:
        mode : lint-only
    toplevel : serv_rf_top

parameters:
  RISCV_FORMAL:
    datatype  : bool
    paramtype : vlogdefine

  SERV_CLEAR_RAM:
    datatype  : bool
    paramtype : vlogdefine