Native RTL lint, CDC/RDC, structural equivalence and qualification contracts - View it on GitHub