| commit | fe2ae8501a8300b2d4f3157213978e948568c084 | [log] [tgz] |
|---|---|---|
| author | Michael Schaffner <msf@google.com> | Wed Oct 02 17:48:47 2019 -0700 |
| committer | msfschaffner <msf@google.com> | Fri Oct 04 10:50:30 2019 -0700 |
| tree | e3e4b103da6f89547777d93eaa9e87ba58dddb1b | |
| parent | f70316274db7653369c5bf5cf20d2723369b8267 [diff] [blame] |
[padctrl/fpv] Initial FPV testbench for padctrl
diff --git a/hw/formal/fpv_all b/hw/formal/fpv_all index 43acd7b..af67f96 100755 --- a/hw/formal/fpv_all +++ b/hw/formal/fpv_all
@@ -31,6 +31,7 @@ "prim_alert_rxtx_async_tb" "prim_esc_rxtx_tb" "pinmux_tb" + "padctrl_tb" ) #-------------------------------------------------------------------------