rtl_list.tcl

set rtl_all {
  ./rtl/bsg_chip_block.sv2v.v
  ./rtl/fakeram45_32x32_dp.v
}