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: top_earlgrey

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

  fusesoc_core: lowrisc:systems:top_earlgrey

  csv_path: "{proj_root}/hw/top_earlgrey/formal/conn_csvs/top_earlgrey_conn.csv"

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

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

  publish_report: true
}