Design automation, languages, and simulations. (©2003)