Email Record: Formal aspects of VLSI design :