AutoSpec Design