| // 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}"} | |
| ] | |
| // Connectivity test should all be in top_level design | |
| overrides: [ | |
| { | |
| name: design_level | |
| value: "top" | |
| } | |
| ] | |
| } |