hw/top_matcha/formal/chip_conn_cfg.hjson

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
{
  name: chip_matcha_asic

  import_cfgs: [// common server configuration for results upload
                "{proj_root}/hw/formal/tools/dvsim/common_conn_cfg.hjson"]

  fusesoc_core: lowrisc:systems:chip_matcha_asic:0.1

  bbox_cmd: "[list aon_osc io_osc sys_osc usb_osc]"
  conn_csvs_dir: "{proj_root}/hw/top_matcha/formal/conn_csvs"
  conn_csvs: ["{conn_csvs_dir}/aon_timer_rst.csv",
              "{conn_csvs_dir}/ast_entropy_src_cfg.csv",
              "{conn_csvs_dir}/ast_mem_cfg.csv",
              "{conn_csvs_dir}/clkmgr_ast.csv",
              "{conn_csvs_dir}/clkmgr_idle.csv",
              "{conn_csvs_dir}/clkmgr_infra.csv",
              "{conn_csvs_dir}/clkmgr_peri.csv",
              "{conn_csvs_dir}/clkmgr_powerup.csv",
              "{conn_csvs_dir}/clkmgr_secure.csv",
              "{conn_csvs_dir}/clkmgr_timers.csv",
              "{conn_csvs_dir}/clkmgr_trans.csv",
              "{conn_csvs_dir}/flash_ast.csv",
              "{conn_csvs_dir}/lc_escalate_en.csv",
              "{conn_csvs_dir}/pwrmgr_rstmgr.csv"]

  // TODO: reduce run time and turn on coverage
  cov: false

  rel_path: "hw/top_matcha/{sub_flow}/{tool}"

  publish_report: true
}