| // Copyright lowRISC contributors. | |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| { | |
| sub_flow: fpv | |
| import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_formal_cfg.hjson"] | |
| stopats: "" | |
| task: "" | |
| // Optional vars that need to exported to the env | |
| exports: [ | |
| {STOPATS: '{stopats}'}, | |
| {TASK: '{task}'} | |
| ] | |
| } |