| #!/bin/bash |
| |
| # Copyright lowRISC contributors. |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| # CDC stands for clock domain crossing. This script uses Meridian CDC, |
| # which is a CDC linting tool. |
| # |
| # Usage: To run cdc_lint on module foo, type |
| # cdc_lint foo |
| # |
| # Here are three examples: |
| # cdc_lint gpio |
| # cdc_lint prim_fifo_async |
| # cdc_lint top_earlgrey |
| |
| |
| # set LINT_TOP env variable |
| export LINT_TOP=$1 |
| |
| # use fusesoc to generate file list |
| fusesoc --cores-root .. run --target=sim --setup --build formal > /dev/null 2>&1 |
| |
| # run meridian CDC lint |
| mcdc -i cdc_lint.tcl -wait -log cdc.log |
