Efficient Switching Activity Computation during High-Level Synthesis of Control-Dominated Designs