1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-11 07:22:22 +00:00

cad/verilator: create port

Verilator is the fastest free Verilog HDL simulator, and beats most commercial
simulators. It compiles synthesizable Verilog (not test-bench code!), plus some
PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code. It is
designed for large projects where fast simulation performance is of primary
concern, and is especially well suited to generate executable models of CPUs
for embedded software design teams.

WWW: https://www.veripool.org/projects/verilator/wiki/Intro

PR:		230761
Submitted by:	Kevin Zheng <kevinz5000@gmail.com>
This commit is contained in:
Steve Wills 2019-01-17 23:27:11 +00:00
parent a81b6613a5
commit 5eee19a826
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=490609
5 changed files with 97 additions and 0 deletions

View File

@ -101,6 +101,7 @@
SUBDIR += tochnog
SUBDIR += transcalc
SUBDIR += varkon
SUBDIR += verilator
SUBDIR += verilog-mode.el
SUBDIR += xcircuit
SUBDIR += xtrkcad

31
cad/verilator/Makefile Normal file
View File

@ -0,0 +1,31 @@
# $FreeBSD$
PORTNAME= verilator
PORTVERSION= 3.924
CATEGORIES= cad
MASTER_SITES= https://www.veripool.org/ftp/
MAINTAINER= kevinz5000@gmail.com
COMMENT= Synthesizable Verilog to C++ compiler
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= flex:textproc/flex
USES= bison gmake pathfix perl5 tar:tgz
GNU_CONFIGURE= yes
CONFIGURE_ENV= INSTALL_PROGRAM="${INSTALL_SCRIPT}"
post-patch:
${REINPLACE_CMD} -e 's|@pkgconfigdir@|${PREFIX}/libdata/pkgconfig|' \
${WRKSRC}/Makefile.in
post-build:
@${STRIP_CMD} ${WRKSRC}/bin/verilator_bin
post-install:
${RM} ${STAGEDIR}${PREFIX}/bin/verilator_bin_dbg ${STAGEDIR}${PREFIX}/bin/verilator_coverage_bin_dbg
.include <bsd.port.mk>

3
cad/verilator/distinfo Normal file
View File

@ -0,0 +1,3 @@
TIMESTAMP = 1534354040
SHA256 (verilator-3.924.tgz) = 7dcb19711b8630ada59f0d3d7409faa9649e37bf4c53a0bbfcad32afb28b5975
SIZE (verilator-3.924.tgz) = 2163952

8
cad/verilator/pkg-descr Normal file
View File

@ -0,0 +1,8 @@
Verilator is the fastest free Verilog HDL simulator, and beats most commercial
simulators. It compiles synthesizable Verilog (not test-bench code!), plus some
PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code. It is
designed for large projects where fast simulation performance is of primary
concern, and is especially well suited to generate executable models of CPUs
for embedded software design teams.
WWW: https://www.veripool.org/projects/verilator/wiki/Intro

54
cad/verilator/pkg-plist Normal file
View File

@ -0,0 +1,54 @@
bin/verilator
bin/verilator_bin
bin/verilator_coverage
bin/verilator_profcfunc
libdata/pkgconfig/verilator.pc
man/man1/verilator.1.gz
man/man1/verilator_coverage.1.gz
man/man1/verilator_profcfunc.1.gz
%%DATADIR%%/bin/verilator_includer
%%DATADIR%%/examples/hello_world_c/Makefile
%%DATADIR%%/examples/hello_world_c/sim_main.cpp
%%DATADIR%%/examples/hello_world_c/top.v
%%DATADIR%%/examples/hello_world_sc/Makefile
%%DATADIR%%/examples/hello_world_sc/sc_main.cpp
%%DATADIR%%/examples/hello_world_sc/top.v
%%DATADIR%%/examples/tracing_c/Makefile
%%DATADIR%%/examples/tracing_c/Makefile_obj
%%DATADIR%%/examples/tracing_c/input.vc
%%DATADIR%%/examples/tracing_c/sim_main.cpp
%%DATADIR%%/examples/tracing_c/sub.v
%%DATADIR%%/examples/tracing_c/top.v
%%DATADIR%%/examples/tracing_sc/Makefile
%%DATADIR%%/examples/tracing_sc/Makefile_obj
%%DATADIR%%/examples/tracing_sc/input.vc
%%DATADIR%%/examples/tracing_sc/sc_main.cpp
%%DATADIR%%/examples/tracing_sc/sub.v
%%DATADIR%%/examples/tracing_sc/top.v
%%DATADIR%%/include/verilated.cpp
%%DATADIR%%/include/verilated.h
%%DATADIR%%/include/verilated.mk
%%DATADIR%%/include/verilated.v
%%DATADIR%%/include/verilated_config.h
%%DATADIR%%/include/verilated_config.h.in
%%DATADIR%%/include/verilated_cov.cpp
%%DATADIR%%/include/verilated_cov.h
%%DATADIR%%/include/verilated_cov_key.h
%%DATADIR%%/include/verilated_dpi.cpp
%%DATADIR%%/include/verilated_dpi.h
%%DATADIR%%/include/verilated_heavy.h
%%DATADIR%%/include/verilated_imp.h
%%DATADIR%%/include/verilated_save.cpp
%%DATADIR%%/include/verilated_save.h
%%DATADIR%%/include/verilated_sc.h
%%DATADIR%%/include/verilated_sym_props.h
%%DATADIR%%/include/verilated_syms.h
%%DATADIR%%/include/verilated_vcd_c.cpp
%%DATADIR%%/include/verilated_vcd_c.h
%%DATADIR%%/include/verilated_vcd_sc.cpp
%%DATADIR%%/include/verilated_vcd_sc.h
%%DATADIR%%/include/verilated_vpi.cpp
%%DATADIR%%/include/verilated_vpi.h
%%DATADIR%%/include/verilatedos.h
%%DATADIR%%/include/vltstd/svdpi.h
%%DATADIR%%/include/vltstd/vpi_user.h