What else can be done to ensure the quality of the generated RTL code?   For functional verification, an auto formal tools, like Real Intent’s Ascent IIV product can be used to ensure that basic operation is correct.

The IIV tools will automatically generate sequences and detect whether incorrect or undesirable behaviour can occur.

Read more.