Text this: Unified methods for VLSI simulation and test generation /