Trace-Based Post-Silicon Validation for VLSI Circuits