Email Record: Design automation, languages, and simulations /