| #!/bin/bash |
| |
| # Copyright lowRISC contributors. |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| # This script uses AscentLint from Real Intent. |
| # |
| # Usage: To run lint on module foo, type |
| # lint foo |
| # |
| # Here are three examples: |
| # lint gpio |
| # lint prim_fifo_async |
| # lint top_earlgrey |
| |
| |
| # set LINT_TOP env variable |
| export LINT_TOP=$1 |
| |
| # use fusesoc to generate file list |
| fusesoc --cores-root .. sim --build-only formal > /dev/null 2>&1 |
| |
| # run ascent-lint tool |
| ascentlint -i lint.tcl -wait -log lint.log |
