synthesizeable_vhdl-model-library:synchronous_counter_with_hard_upper_limit