Few lec scripts cleanup and improvements.

Signed-off-by: Pascal Gouedo <[email protected]>

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)

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