[hw/lint] Clean up lint scripts
Cleaned up comments in lint scripts. Removed TODO for sdc file, as Meridian CDC tool works fine without specific sdc file (it automatically identifies clock signals from the RTL).
diff --git a/hw/lint/cdc_lint b/hw/lint/cdc_lint
index bc15877..578bb50 100755
--- a/hw/lint/cdc_lint
+++ b/hw/lint/cdc_lint
@@ -15,17 +15,12 @@
# cdc_lint prim_fifo_async
# cdc_lint top_earlgrey
-#-------------------------------------------------------------------------
+
# set LINT_TOP env variable
-#-------------------------------------------------------------------------
export LINT_TOP=$1
-#-------------------------------------------------------------------------
# use fusesoc to generate file list
-#-------------------------------------------------------------------------
fusesoc --cores-root .. sim --build-only formal > /dev/null 2>&1
-#-------------------------------------------------------------------------
# run meridian CDC lint
-#-------------------------------------------------------------------------
mcdc -i cdc_lint.tcl -wait -log cdc.log
diff --git a/hw/lint/cdc_lint.tcl b/hw/lint/cdc_lint.tcl
index 0e32925..2947d8b 100644
--- a/hw/lint/cdc_lint.tcl
+++ b/hw/lint/cdc_lint.tcl
@@ -6,9 +6,6 @@
elaborate $env(LINT_TOP)
-# read_sdc design.sdc
-# TODO: add SDC file above
-
analyze_intent
verify_cdc
diff --git a/hw/lint/lint b/hw/lint/lint
index d549bb1..4294dc1 100755
--- a/hw/lint/lint
+++ b/hw/lint/lint
@@ -14,17 +14,12 @@
# lint prim_fifo_async
# lint top_earlgrey
-#-------------------------------------------------------------------------
+
# set LINT_TOP env variable
-#-------------------------------------------------------------------------
export LINT_TOP=$1
-#-------------------------------------------------------------------------
# use fusesoc to generate file list
-#-------------------------------------------------------------------------
fusesoc --cores-root .. sim --build-only formal > /dev/null 2>&1
-#-------------------------------------------------------------------------
-# run meridian CDC lint
-#-------------------------------------------------------------------------
+# run ascent-lint tool
ascentlint -i lint.tcl -wait -log lint.log
diff --git a/hw/lint/rdc_lint b/hw/lint/rdc_lint
index b7fd42a..1de1098 100755
--- a/hw/lint/rdc_lint
+++ b/hw/lint/rdc_lint
@@ -15,17 +15,12 @@
# rdc_lint prim_fifo_async
# rdc_lint top_earlgrey
-#-------------------------------------------------------------------------
+
# set LINT_TOP env variable
-#-------------------------------------------------------------------------
export LINT_TOP=$1
-#-------------------------------------------------------------------------
# use fusesoc to generate file list
-#-------------------------------------------------------------------------
fusesoc --cores-root .. sim --build-only formal > /dev/null 2>&1
-#-------------------------------------------------------------------------
-# run meridian CDC lint
-#-------------------------------------------------------------------------
+# run meridian RDC lint
mrdc -i rdc_lint.tcl -wait -log rdc.log
diff --git a/hw/lint/rdc_lint.tcl b/hw/lint/rdc_lint.tcl
index 516fa29..561cbd4 100644
--- a/hw/lint/rdc_lint.tcl
+++ b/hw/lint/rdc_lint.tcl
@@ -6,9 +6,6 @@
elaborate $env(LINT_TOP)
-# read_sdc design.sdc
-# TODO: add SDC file above
-
analyze_intent
verify_rdc
