SANTA CRUZ, Calif. — Designers frequently use clock gating to reduce IC power consumption, but it's hard to verify those changes in RTL code. A sequential equivalence checker from Calypto Design ...