| lowRISC Contributors | 802543a | 2019-08-31 12:12:56 +0100 | [diff] [blame] | 1 | # Copyright lowRISC contributors. |
| 2 | # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| 3 | # SPDX-License-Identifier: Apache-2.0 |
| 4 | |
| 5 | foreach script_file [glob -nocomplain ascentlint.policy *.waiver] { |
| 6 | source $script_file |
| 7 | } |
| 8 | |
| 9 | analyze +define+ASIC_SYNTHESIS+SYNTHESIS -F [glob build/formal_0/sim-icarus/*.scr] -sv |
| 10 | |
| 11 | elaborate $env(LINT_TOP) |
| 12 | |
| 13 | report_policy -skip_empty_summary_status -compat -output lint.rpt NEW |
| 14 | |
| 15 | exit |
