Text this: Trace theory and VLSI design /