Enhanced axiom checkers.

- Removed trivial "auto"s for better readability.
- Corrected weird verilog codes in some regression tests.

Signed-off-by: Jaehyun Kim <[email protected]>

Author: jhkim-pii

src/dbSta/include/db_sta/dbNetwork.hh

@@ -72,16 +72,17 @@ class dbNetwork : public ConcreteNetwork
   CellPortIterator* portIterator(const Cell* cell) const override;
 
   // sanity checkers
-  void checkAxioms();
-  void checkSanityModBTerms();
-  void checkSanityModITerms();
-  void checkSanityModuleInsts();
-  void checkSanityModInstTerms();
-  void checkSanityUnusedModules();
-  void checkSanityTermConnectivity();
-  void checkSanityNetConnectivity();
-  void checkSanityInstNames();
-  void checkSanityNetNames();
+  void checkAxioms() const;
+  void checkSanityModBTerms() const;
+  void checkSanityModITerms() const;
+  void checkSanityModuleInsts() const;
+  void checkSanityModInstTerms() const;
+  void checkSanityUnusedModules() const;
+  void checkSanityTermConnectivity() const;
+  void checkSanityNetConnectivity() const;
+  void checkSanityInstNames() const;
+  void checkSanityNetNames() const;
+  void checkSanityModNetNamesInModule(odb::dbModule* module) const;
 
   void readLefAfter(dbLib* lib);
   void readDefAfter(dbBlock* block);