Enable optional coverage for Aldec Riviera