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