commit 68ce21e57a229c356b742752f007db49d44d884c
author Cindy Chen <chencindy@opentitan.org> Fri Mar 25 17:21:35 2022 -0700
committer Cindy Chen <cindy.chen0316@gmail.com> Mon Mar 28 10:01:29 2022 -0700
tree 4cf57a1665c70f4bc5d0d7a1ea97fa083acd95b5
parent a62b67e765f3a8fdb5d08352824515d87a67a8f7

[conn] connectivity test naming fix

This PR fixed a duplicated naming error.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>

hw/top_earlgrey/formal/conn_csvs/clkmgr_peri.csv

diff --git a/hw/top_earlgrey/formal/conn_csvs/clkmgr_peri.csv b/hw/top_earlgrey/formal/conn_csvs/clkmgr_peri.csv
index 549477e..0b9e9b7 100644
--- a/hw/top_earlgrey/formal/conn_csvs/clkmgr_peri.csv
+++ b/hw/top_earlgrey/formal/conn_csvs/clkmgr_peri.csv
@@ -8,7 +8,7 @@
 ,NAME,SRC BLOCK,SRC SIGNAL,DEST BLOCK,DEST SIGNAL,,,,,,
 
 # clkmgr peri clock connectivity
-CONNECTION, CLKMGR_PERI_CLK_ADC_CTRL_AON_CLK, top_earlgrey.u_clkmgr_aon, clocks_o.clk_io_div4_peri, top_earlgrey.u_adc_ctrl_aon, clk_i
+CONNECTION, CLKMGR_PERI_CLK_ADC_CTRL_CLK, top_earlgrey.u_clkmgr_aon, clocks_o.clk_io_div4_peri, top_earlgrey.u_adc_ctrl_aon, clk_i
 
 CONNECTION, CLKMGR_PERI_CLK_GPIO_CLK, top_earlgrey.u_clkmgr_aon, clocks_o.clk_io_div4_peri, top_earlgrey.u_gpio, clk_i