Rename lec folder to slec

openhwgroup · Jan 3, 2024 · e0a77d8 · e0a77d8
1 parent c010206
commit e0a77d8
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 27 deletions.
diff --git a/scripts/lec/clone_reference.sh b/scripts/lec/clone_reference.sh
diff --git a/scripts/lec/README.md → scripts/slec/README.md b/scripts/lec/README.md → scripts/slec/README.md
diff --git a/scripts/lec/cadence_conformal/check_lec.tcl → scripts/slec/cadence/lec.tcl b/scripts/lec/cadence_conformal/check_lec.tcl → scripts/slec/cadence/lec.tcl
@@ -11,12 +11,13 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
+set summary_log $::env(summary_log)
 
-read_design -SV -replace -noelaborate -golden -File ../golden.src
+read_design -SV -replace -noelaborate -golden -File ./golden.src
 
 elaborate_design -golden
 
-read_design -SV -replace -noelaborate -revised -File ../revised.src
+read_design -SV -replace -noelaborate -revised -File ./revised.src
 
 elaborate_design -revised
 
@@ -31,8 +32,8 @@ write_hier_compare_dofile hier_compare_r2r.do -constraint -replace
 
 run_hier_compare hier_compare_r2r.do -ROOT_module cv32e40p_core cv32e40p_core
 
-report_hier_compare_result -all -usage > ./reports/result.rpt
-report_hier_compare_result -NONEQuivalent -usage > ./reports/result_noneq.rpt
-report_verification -verbose -hier > ./reports/result_verfication.rpt
+report_hier_compare_result -all -usage > $sumary_log
+report_verification -verbose -hier >> $sumary_log
+report_hier_compare_result -NONEQuivalent -usage > $sumary_log.noneq.rpt
 
 exit 0
diff --git a/scripts/lec/lec.sh → scripts/slec/run.sh b/scripts/lec/lec.sh → scripts/slec/run.sh
diff --git a/scripts/lec/synopsys_formality/check_lec.tcl → scripts/slec/synopsys/lec.tcl b/scripts/lec/synopsys_formality/check_lec.tcl → scripts/slec/synopsys/lec.tcl