| commit | 7008042571860fde5583828d74dcc41328cbd67c | [log] [tgz] |
|---|---|---|
| author | Michael Schaffner <msf@google.com> | Tue Jun 16 15:08:37 2020 -0700 |
| committer | Michael Schaffner <msf@google.com> | Mon Jul 27 12:02:11 2020 -0700 |
| tree | a30ffbfc3b25e9cf2f5a2a8604146c12e57d435c | |
| parent | 3cd41ca9998654c28925087c75588ad7a3d9cf7d [diff] [blame] |
[prim_arbiter_fixed/fpv] Add generated FPV testbench Signed-off-by: Michael Schaffner <msf@google.com>
diff --git a/hw/formal/fpv_all b/hw/formal/fpv_all index 44ddb0e..67672c3 100755 --- a/hw/formal/fpv_all +++ b/hw/formal/fpv_all
@@ -36,6 +36,7 @@ # run formal on dedicated FPV testbenches "prim_arbiter_ppc_fpv" "prim_arbiter_tree_fpv" + "prim_arbiter_fixed_fpv" "prim_alert_rxtx_fpv" "prim_alert_rxtx_async_fpv" "prim_esc_rxtx_fpv"