Ref: https://www.techdesignforums.com/practice/guides/lint-rtl/ Lint tools can analyze designs of, say, 300 million or more gates in a matter of minutes.