diff --git a/scripts/lec/clone_reference.sh b/scripts/lec/clone_reference.sh deleted file mode 100755 index 76a7510eb..000000000 --- a/scripts/lec/clone_reference.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash - -# Copyright 2021 OpenHW Group -# -# Licensed under the Solderpad Hardware Licence, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# https://solderpad.org/licenses/ -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# 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. - -if [ ! -d "./golden_reference_design" ]; then - mkdir -p ./golden_reference_design - cd ./golden_reference_design - git clone https://github.com/openhwgroup/cv32e40p.git --branch cv32e40p_v1.0.0 - cd ../ -fi diff --git a/scripts/lec/README.md b/scripts/slec/README.md similarity index 100% rename from scripts/lec/README.md rename to scripts/slec/README.md diff --git a/scripts/lec/cadence_conformal/check_lec.tcl b/scripts/slec/cadence/lec.tcl similarity index 74% rename from scripts/lec/cadence_conformal/check_lec.tcl rename to scripts/slec/cadence/lec.tcl index d8b918a36..7d527ac4b 100644 --- a/scripts/lec/cadence_conformal/check_lec.tcl +++ b/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 b/scripts/slec/run.sh similarity index 100% rename from scripts/lec/lec.sh rename to scripts/slec/run.sh diff --git a/scripts/lec/synopsys_formality/check_lec.tcl b/scripts/slec/synopsys/lec.tcl similarity index 100% rename from scripts/lec/synopsys_formality/check_lec.tcl rename to scripts/slec/synopsys/lec.tcl