|
| 1 | +################################################################################ |
| 2 | +## |
| 3 | +## Filename: bench/formal/Makefile |
| 4 | +## {{{ |
| 5 | +## Project: WBScope, a wishbone hosted scope |
| 6 | +## |
| 7 | +## Purpose: |
| 8 | +## |
| 9 | +## Creator: Dan Gisselquist, Ph.D. |
| 10 | +## Gisselquist Technology, LLC |
| 11 | +## |
| 12 | +################################################################################ |
| 13 | +## }}} |
| 14 | +## Copyright (C) 2021-2024, Gisselquist Technology, LLC |
| 15 | +## {{{ |
| 16 | +## This program is free software (firmware): you can redistribute it and/or |
| 17 | +## modify it under the terms of the GNU General Public License as published |
| 18 | +## by the Free Software Foundation, either version 3 of the License, or (at |
| 19 | +## your option) any later version. |
| 20 | +## |
| 21 | +## This program is distributed in the hope that it will be useful, but WITHOUT |
| 22 | +## ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or |
| 23 | +## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| 24 | +## for more details. |
| 25 | +## |
| 26 | +## You should have received a copy of the GNU General Public License along |
| 27 | +## with this program. (It's in the $(ROOT)/doc directory. Run make with no |
| 28 | +## target there if the PDF file isn't present.) If not, see |
| 29 | +## <http://www.gnu.org/licenses/> for a copy. |
| 30 | +## }}} |
| 31 | +## License: GPL, v3, as defined and found on www.gnu.org, |
| 32 | +## {{{ |
| 33 | +## http://www.gnu.org/licenses/gpl.html |
| 34 | +## |
| 35 | +################################################################################ |
| 36 | +## |
| 37 | +## }}} |
| 38 | +.PHONY: all |
| 39 | +all: axilscope axisrle memscope |
| 40 | +RTL := ../../rtl |
| 41 | + |
| 42 | +.PHONY: axilscope |
| 43 | +axilscope: axilscope_sync/PASS axilscope_async/PASS |
| 44 | +axilscope_sync/PASS: axilscope.sby $(RTL)/axilscope.v faxil_slave.v |
| 45 | + sby -f axilscope.sby sync |
| 46 | +axilscope_async/PASS: axilscope.sby $(RTL)/axilscope.v faxil_slave.v |
| 47 | + sby -f axilscope.sby async |
| 48 | + |
| 49 | +.PHONY: axisrle |
| 50 | +axisrle: axisrle_prf/PASS axisrle_prf8/PASS axisrle_prf16/PASS axisrle_cvr/PASS |
| 51 | +axisrle_prf/PASS: axisrle.sby $(RTL)/skidbuffer.v $(RTL)/axisrle.v |
| 52 | + sby -f axisrle.sby prf |
| 53 | +axisrle_prf8/PASS: axisrle.sby $(RTL)/skidbuffer.v $(RTL)/axisrle.v |
| 54 | + sby -f axisrle.sby prf8 |
| 55 | +axisrle_prf16/PASS: axisrle.sby $(RTL)/skidbuffer.v $(RTL)/axisrle.v |
| 56 | + sby -f axisrle.sby prf16 |
| 57 | +axisrle_cvr/PASS: axisrle.sby $(RTL)/skidbuffer.v $(RTL)/axisrle.v |
| 58 | + sby -f axisrle.sby cvr |
| 59 | + |
| 60 | +.PHONY: memscope |
| 61 | +memscope: memscope_prf/PASS |
| 62 | +AXI := faxi_master.v faxi_slave.v faxi_addr.v faxi_valaddr.v faxi_wstrb.v |
| 63 | +WB2AXIP := ../../../../wb2axip/gitlab-axi/rtl |
| 64 | +memscope_prf/PASS: memscope.sby $(RTL)/memscope.v $(WB2AXIP)/skidbuffer.v $(WB2AXIP)/sfifo.v $(AXI) |
| 65 | + sby -f memscope.sby prf |
| 66 | + |
| 67 | +.PHONY: clean |
| 68 | +clean: |
| 69 | + rm -rf axilscope_*/ |
| 70 | + rm -rf axisrle_*/ |
| 71 | + rm -rf memscope_*/ |
| 72 | + |
0 commit comments