Text this: Relaxation techniques for the simulation of VLSI circuits /