hw/top_earlgrey/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_earlgrey_asic

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

  fusesoc_core: lowrisc:systems:chip_earlgrey_asic:0.1

  conn_csvs_dir: "{proj_root}/hw/top_earlgrey/formal/conn_csvs"
  conn_csvs: ["{conn_csvs_dir}/aon_timer_rst.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_earlgrey/{sub_flow}/{tool}"

  publish_report: true
}