Trace-Based Post-Silicon Validation for VLSI Circuits | lit.salon