A case study of the effective value range analysis for Behavioral synthesis