Automatic detection of sticky clock gating equations. - Maarten Boersma; Ulrike Schmidt 002; Markus Kaltenbach (MBMV, 2014)