Approximation of a clock gating function via BDD path elimination Grant US-8166426-B2 United States of America 24 Apr 2012