From 869d205d2e134152787a7d328a7e1497a1d95680 Mon Sep 17 00:00:00 2001 From: Pascal Gouedo Date: Thu, 30 May 2024 15:41:10 +0200 Subject: [PATCH] Few lec scripts cleanup and improvements. Signed-off-by: Pascal Gouedo --- scripts/slec/cadence/lec.tcl | 30 +++++++++++++++--------------- scripts/slec/synopsys/lec.tcl | 3 +++ 2 files changed, 18 insertions(+), 15 deletions(-) diff --git a/scripts/slec/cadence/lec.tcl b/scripts/slec/cadence/lec.tcl index e62046b73..dcc241e63 100644 --- a/scripts/slec/cadence/lec.tcl +++ b/scripts/slec/cadence/lec.tcl @@ -1,18 +1,18 @@ -// Copyright 2024 OpenHW Group and Dolphin Design -// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1 -// -// Licensed under the Solderpad Hardware License v 2.1 (the “License”); -// you may not use this file except in compliance with the License, or, -// at your option, the Apache License version 2.0. -// You may obtain a copy of the License at -// -// https://solderpad.org/licenses/SHL-2.1/ -// -// Unless required by applicable law or agreed to in writing, any work -// 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. +# Copyright 2024 OpenHW Group and Dolphin Design +# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1 +# +# Licensed under the Solderpad Hardware License v 2.1 (the “License”); +# you may not use this file except in compliance with the License, or, +# at your option, the Apache License version 2.0. +# You may obtain a copy of the License at +# +# https://solderpad.org/licenses/SHL-2.1/ +# +# Unless required by applicable law or agreed to in writing, any work +# 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. set summary_log $::env(summary_log) set top_module $::env(top_module) diff --git a/scripts/slec/synopsys/lec.tcl b/scripts/slec/synopsys/lec.tcl index 7d17722c0..e3c09e997 100644 --- a/scripts/slec/synopsys/lec.tcl +++ b/scripts/slec/synopsys/lec.tcl @@ -15,6 +15,8 @@ # limitations under the License. set synopsys_auto_setup true +set verification_failing_point_limit 0 + set summary_log $::env(summary_log) set top_module $::env(top_module) set version $::env(version) @@ -55,6 +57,7 @@ if {"$top_module" == "cv32e40p_core"} { verify > $summary_log +report_passing_points > $summary_log.passing_points.rpt report_aborted_points > $summary_log.aborted_points.rpt report_failing_points > $summary_log.failing_points.rpt