Email Record: Fault simulation of combinational circuits based on critical path tracing /