Hi,
2x1 glitch free mux having two input clocks (I0, I1), both clocks are asynchronous to each other. Th select line is asynchronous to inputs I0, I1. The output of mux is glitch free clock (The select signal is toggling at different time). How to verify whether the output clock has really glitch free or not using automation.
This is something that a Clock Domain Crossing (CDC) tool will check for you. See https://verificationacademy.com/courses/clock-domain-crossing-verification.
There is any possibility without using cdc tool.