Synthesized RTL and report