3.2 External Tools: Launching from Riviera-PRO Linting can be ran directly from your simulation tool using the "Check in Aldec ALINT-PRO" feature available in Riviera-PRO. This feature can either generate a new tcl script that automatically converts the design workspace and performs linting or can use an existing script to perform after launching the ALINT-PRO software.