Now , there are two clock signal in the design, the two clocks and select signal are synchronous, but the phase between them is uncertain, then use the selecting signal 'SEL' to switch the two clock dynamically. So it is possible that some glitch will occur, I want to know how to detect or check the glitch in encouter timing system intead of functional verification ?
just like this :
CLK_MUX = SEL ? CLK_0 : CLK_1;