I should also check if there are any legal ways the user can access RivieraPro. Aldec offers a free version, RivieraPro Student (RP-Student), which might be suitable for educational use. Providing a link to the official website where they can download the free version would be helpful.