2.3 Advanced: FSM Coverage & Debug Take a closer look at the FSM Debug & Coverage tools available for your project inside of Riviera-PRO. Verify FSM functionality and test methodologies using Aldec Proprietary Pragmas, FSM Viewer, FSM List, and easily generated Coverage Reports.