3.4 Traceability: Building Traceability between HDL Design and Implementation Files Spec-TRACER provides external command SpecTrRel for building traceability to Synthesis/Place and Route files, constraints and reports