It monitors itself for syntax errors.

It keeps track of the outputs and see if they match the expected outputs at the right time.

It runs the assertions inside the synthesized modules.