Email Record: Unified methods for VLSI simulation and test generation /