hw/formal/tools/dvsim/common_conn_cfg.hjson

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
{
  sub_flow:    conn
  import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_formal_cfg.hjson"]

  // Vars that need to exported to the env
  exports: [
    {CSV_PATH: "{csv_path}"}
  ]

  overrides: [
    // Connectivity test should all be in top_level design
    {
      name:  design_level
      value: "top"
    }

    // Connectivity test won't run any assertions, so here we use default RTL target
    {
      name:  fusesoc_target
      value: "default"
    }
  ]
}