Having clean SV will enable Spade to be used incrementally inside of a SV codebase. Var names should make it through, comments, asserts, etc. Treat it like a CA

Having clean SV will enable Spade to be used incrementally inside of a SV codebase. Var names should make it through, comments, asserts, etc. Treat it like a CASE tool. https://en.wikipedia.org/wiki/Computer-aided_software_engineering https://en.wikipedia.org/wiki/Computer-aided_software_engine...