RTeasy: an algorithmic design environment on register transfer level. - Hagen Schendel; Carsten Albrecht; Erik Maehle (WCAE, 2004)