3.5 Traceability: Building Traceability between Test Cases and Test Results Spec-TRACER provides external command SpecTrSimRes for building traceability to test results including PASS/FAIL in log files, waveforms, html reports and code coverage results. SpecTrSimRes can be executed in simulation macros and can be run via batch.