Email Record: Top-down digital VLSI design :