mirror of
https://github.com/olofk/serv.git
synced 2026-01-13 07:09:33 +00:00
126 lines
2.7 KiB
Plaintext
126 lines
2.7 KiB
Plaintext
CAPI=2:
|
|
|
|
name : ::serv:0
|
|
|
|
filesets:
|
|
core:
|
|
files:
|
|
- rtl/serv_params.vh : {is_include_file : true}
|
|
- rtl/shift_reg.v
|
|
- rtl/ser_add.v
|
|
- rtl/ser_eq.v
|
|
- rtl/ser_lt.v
|
|
- rtl/ser_shift.v
|
|
- rtl/serv_alu.v
|
|
- rtl/serv_csr.v
|
|
- rtl/serv_ctrl.v
|
|
- rtl/serv_decode.v
|
|
- rtl/serv_mem_if.v
|
|
- rtl/serv_regfile.v
|
|
- rtl/serv_top.v
|
|
file_type : verilogSource
|
|
|
|
mem_files:
|
|
files:
|
|
- bitbang.hex : {copyto : bitbang.hex}
|
|
- helloservice4000.hex : {copyto : helloservice4000.hex}
|
|
file_type : user
|
|
|
|
serv_top_tb:
|
|
files:
|
|
- bench/serv_top_tb.v
|
|
file_type : verilogSource
|
|
depend : [vlog_tb_utils, "yosys:techlibs:ice40"]
|
|
|
|
techlib:
|
|
depend : ["yosys:techlibs:ice40fork"]
|
|
wrapper:
|
|
files:
|
|
- rtl/riscv_timer.v
|
|
- rtl/wb_gpio.v
|
|
- bench/serv_arbiter.v
|
|
- bench/serv_mux.v
|
|
- bench/serv_wrapper.v
|
|
file_type : verilogSource
|
|
depend : [wb_ram]
|
|
|
|
netlist:
|
|
files: [synth.v : {file_type : verilogSource}]
|
|
|
|
tinyfpga_bx:
|
|
files:
|
|
- data/tinyfpga_bx.pcf : {file_type : PCF}
|
|
|
|
verilator_tb:
|
|
files:
|
|
- bench/serv_soc_tb.cpp : {file_type : verilogSource}
|
|
depend : ["yosys:techlibs:ice40"]
|
|
|
|
targets:
|
|
default:
|
|
filesets : [core]
|
|
toplevel : serv_top_tb
|
|
|
|
synth:
|
|
default_tool : icestorm
|
|
filesets : [core, mem_files, wrapper, tinyfpga_bx]
|
|
toplevel : serv_wrapper
|
|
|
|
tinyfpga_bx:
|
|
default_tool : icestorm
|
|
filesets : [core, mem_files, wrapper, tinyfpga_bx]
|
|
tools:
|
|
icestorm:
|
|
nextpnr_options : [--lp8k, --package, cm81, --freq, 16]
|
|
pnr: next
|
|
toplevel : serv_wrapper
|
|
|
|
lint:
|
|
default_tool : verilator
|
|
filesets : [core, techlib]
|
|
tools:
|
|
verilator:
|
|
mode : lint-only
|
|
toplevel : serv_top
|
|
|
|
serv_top_tb:
|
|
default_tool: icarus
|
|
filesets : [core, wrapper, serv_top_tb]
|
|
parameters : [RISCV_FORMAL=true, firmware]
|
|
toplevel : serv_top_tb
|
|
|
|
synth_tb:
|
|
default_tool: icarus
|
|
filesets : [netlist, serv_top_tb]
|
|
toplevel : serv_top_tb
|
|
|
|
verilator_tb:
|
|
default_tool: verilator
|
|
filesets : [core, wrapper, verilator_tb]
|
|
parameters : [firmware, signature, uart_baudrate, vcd]
|
|
tools:
|
|
verilator:
|
|
verilator_options : [-Wno-fatal, --trace]
|
|
toplevel : serv_wrapper
|
|
|
|
parameters:
|
|
RISCV_FORMAL:
|
|
datatype : bool
|
|
paramtype : vlogdefine
|
|
|
|
firmware:
|
|
datatype : file
|
|
paramtype : plusarg
|
|
|
|
signature:
|
|
datatype : file
|
|
paramtype : plusarg
|
|
uart_baudrate:
|
|
datatype : int
|
|
description : Treat q output as an UART with the specified baudrate (0 or omitted parameter disables UART decoding)
|
|
paramtype : plusarg
|
|
|
|
vcd:
|
|
datatype : bool
|
|
paramtype : plusarg
|