DEFAULT_ARCHITECTURE atom RTL
DEFAULT_FILE atom counterRestart_RTL.vhd