Email Record: Formal methods for VLSI design :