synthesizeable_vhdl-model-library:synchronous_separable_counter_with_loadable_upper_limit