Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis