@@ -77,7 +77,6 @@ module ast
7777 input clk_src_io_en_i, // IO Source Clock Enable
7878 output logic clk_src_io_o, // IO Source Clock
7979 output logic clk_src_io_val_o, // IO Source Clock Valid
80- output prim_mubi_pkg :: mubi4_t clk_src_io_48m_o, // IO Source Clock is 48MHz
8180
8281 // usb source clock
8382 input usb_ref_pulse_i, // USB Reference Pulse
@@ -506,7 +505,6 @@ ast_clks_byp u_ast_clks_byp (
506505 .clk_src_sys_val_o ( clk_src_sys_val_o ),
507506 .clk_src_io_o ( clk_src_io ),
508507 .clk_src_io_val_o ( clk_src_io_val_o ),
509- .clk_src_io_48m_o ( clk_src_io_48m_o ),
510508 .clk_src_usb_o ( clk_src_usb ),
511509 .clk_src_usb_val_o ( clk_src_usb_val_o ),
512510 .clk_src_aon_o ( clk_src_aon ),
@@ -894,7 +892,6 @@ assign ast2pad_t1_ao = 1'bz;
894892`ASSERT_KNOWN (ClkSrcAonValKnownO_A, clk_src_aon_val_o, clk_src_aon_o, rst_aon_clk_n)
895893`ASSERT_KNOWN (ClkSrcIoKnownO_A, clk_src_io_o, 1 , ast_pwst_o.main_pok)
896894`ASSERT_KNOWN (ClkSrcIoValKnownO_A, clk_src_io_val_o, clk_src_io_o, rst_io_clk_n)
897- `ASSERT_KNOWN (ClkSrcIo48mKnownO_A, clk_src_io_48m_o, clk_src_io_o, rst_io_clk_n)
898895`ASSERT_KNOWN (ClkSrcSysKnownO_A, clk_src_sys_o, 1 , ast_pwst_o.main_pok)
899896`ASSERT_KNOWN (ClkSrcSysValKnownO_A, clk_src_sys_val_o, clk_src_sys_o, rst_sys_clk_n)
900897`ASSERT_KNOWN (ClkSrcUsbKnownO_A, clk_src_usb_o, 1 , ast_pwst_o.main_pok)
0 commit comments