There is no direct integration. However, Spec-TRACER includes a wizard that automatically creates an Active-HDL project of design/testbench sources managed in Questa or ModelSim. The hierarchical structure of the sources is preserved, and users can establish traceability links from requirements to HDL design and testbench using Active-HDL.