Behavior-level observability don't-cares and application to low-power behavioral synthesis