Achieving Glitch-Free Clock Domain Crossing Signals Using Formal Verification, Static Timing Analysis, and Sequential Equivalence Checking. - Kesava R. Talupuru; Sanjai Athi (MTV, 2011)