| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [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 | // dofile for LEC script lec_sv2v |
| 6 | |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 7 | //------------------------------------------------------------------------- |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 8 | // read in golden (SystemVerilog) and revised (Verilog) |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 9 | //------------------------------------------------------------------------- |
| 10 | set parallel option -threads 8 |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 11 | |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 12 | // map all multi-dimensional ports (including structs) onto 1-dim. ports |
| Zachary Snow | 42ae6fc | 2020-06-10 21:15:29 -0400 | [diff] [blame] | 13 | set naming rule -mdportflatten |
| 14 | |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 15 | read design -golden -sv12 -f flist_gold -rootonly -root $LEC_TOP |
| 16 | read design -revised -ve -f flist_rev -rootonly -root $LEC_TOP |
| Zachary Snow | 42ae6fc | 2020-06-10 21:15:29 -0400 | [diff] [blame] | 17 | |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 18 | //------------------------------------------------------------------------- |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 19 | // pre-LEC reports |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 20 | //------------------------------------------------------------------------- |
| 21 | report rule check -verbose |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 22 | report design data |
| 23 | report black box |
| 24 | report module |
| 25 | |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 26 | //------------------------------------------------------------------------- |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 27 | // compare |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 28 | //------------------------------------------------------------------------- |
| Zachary Snow | a07394d | 2020-07-25 17:22:44 -0400 | [diff] [blame] | 29 | set mapping method -name_effort low |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 30 | set system mode lec |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 31 | report unmapped points |
| 32 | |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 33 | add compare point -all |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 34 | compare -threads 8 -noneq_stop 1 |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 35 | analyze abort -compare |
| 36 | |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 37 | //------------------------------------------------------------------------- |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 38 | // reports |
| Nils Graf | 03a87c0 | 2020-06-26 18:01:17 -0700 | [diff] [blame] | 39 | //------------------------------------------------------------------------- |
| Nils Graf | 03cf29f | 2019-09-18 16:06:17 -0700 | [diff] [blame] | 40 | report compare data -class nonequivalent -class abort -class notcompared |
| 41 | report verification -verbose |
| 42 | report statistics |
| 43 | usage |
| 44 | |
| 45 | exit -force |
