| commit | 8e1d0938a29d1496fb4d6d8357820746fc17883f | [log] [tgz] |
|---|---|---|
| author | Michael Schaffner <msf@opentitan.org> | Fri Jan 24 18:13:36 2020 -0800 |
| committer | Michael Schaffner <msf@google.com> | Fri Jan 24 20:18:11 2020 -0800 |
| tree | 5b1da10994b08f857cf4713240eb5cd4bcb9e535 | |
| parent | f47f3144e780c434e78b2a6b99a209559c321259 [diff] |
[fpv] Update fpv_all script Signed-off-by: Michael Schaffner <msf@opentitan.org>
diff --git a/hw/formal/fpv_all b/hw/formal/fpv_all index 88d110d..fe8feb3 100755 --- a/hw/formal/fpv_all +++ b/hw/formal/fpv_all
@@ -26,7 +26,8 @@ # "xbar_main" #"top_earlgrey" # run formal on dedicated FPV testbenches - "prim_arbiter_fpv" + "prim_arbiter_ppc_fpv" + "prim_arbiter_tree_fpv" "prim_lfsr_fpv" "prim_fifo_sync_fpv" "prim_alert_rxtx_fpv"