| commit | 622631b62ce7a6c163648f0bb9108943e2408dfa | [log] [tgz] |
|---|---|---|
| author | Michael Schaffner <msf@google.com> | Wed Oct 02 16:51:27 2019 -0700 |
| committer | msfschaffner <msf@google.com> | Thu Oct 03 16:40:30 2019 -0700 |
| tree | deb10c2cbbc46d11a70135544e6d5542a6a7ca35 | |
| parent | 0050715dde6b0d20dec2f2baabe797a3c48f8635 [diff] [blame] |
[pinmux/fpv] Add FPV testbench for pinmux
diff --git a/hw/formal/fpv_all b/hw/formal/fpv_all index 14e3f77..43acd7b 100755 --- a/hw/formal/fpv_all +++ b/hw/formal/fpv_all
@@ -30,6 +30,7 @@ "prim_alert_rxtx_tb" "prim_alert_rxtx_async_tb" "prim_esc_rxtx_tb" + "pinmux_tb" ) #-------------------------------------------------------------------------