Email Record: Trace theory and VLSI design /