Text this: Trace-Based Post-Silicon Validation for VLSI Circuits