Six Smart Ways Specification Automation Reduces Register Implementation Time