Date: Fri, 13 May 2005 17:25:16 +0800 (CST) From: Ying-Chieh Liao <ijliao@csie.nctu.edu.tw> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/80968: [NEW PORT] cad/gplcver: A Verilog HDL simulator Message-ID: <20050513092516.B789A106C50@FreeBSD.csie.NCTU.edu.tw> Resent-Message-ID: <200505130930.j4D9U2Y4086848@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 80968 >Category: ports >Synopsis: [NEW PORT] cad/gplcver: A Verilog HDL simulator >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Fri May 13 09:30:02 GMT 2005 >Closed-Date: >Last-Modified: >Originator: Ying-Chieh Liao >Release: FreeBSD 4.11-STABLE i386 >Organization: FreeBSD @ Taiwan >Environment: System: FreeBSD FreeBSD.csie.NCTU.edu.tw 4.11-STABLE FreeBSD 4.11-STABLE #3: Sat Apr 16 22:54:07 CST 2005 >Description: GPL Cver is a full 1995 P1364 Verilog standard HDL simulator. It also implements some of the 2001 P1364 standard features including all three PLI interfaces (tf_, acc_ and vpi_) as defined in the 2001 Language Reference Manual (LRM). Verilog is the name for both a language for describing electronic hardware called a hardware description language (HDL) and the name of the program that simulates HDL circuit descriptions to verify that described circuits will function correctly when the are constructed. Verilog is used only for describing digital logic circuits. Other HDLs such as Spice are used for describing analog circuits. There is an IEEE standard named P1364 that standardizes the Verilog HDL and the behavior of Verilog simulators. Verilog is officially defined in the IEEE P1364 Language Reference Manual (LRM) that can be purchased from IEEE. There are many good books for learning that teach the Verilog HDL and/or that teach digital circuit design using Verilog. WWW: http://www.pragmatic-c.com/gpl-cver/ Generated with FreeBSD Port Tools 0.63 >How-To-Repeat: >Fix: --- gplcver-2.10.c.shar begins here --- # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # gplcver # gplcver/Makefile # gplcver/distinfo # gplcver/pkg-descr # echo c - gplcver mkdir -p gplcver > /dev/null 2>&1 echo x - gplcver/Makefile sed 's/^X//' >gplcver/Makefile << 'END-of-gplcver/Makefile' X# ex:ts=8 X# Ports collection makefile for: gpl-cver X# Date created: May 13, 2005 X# Whom: ijliao X# X# $FreeBSD$ X# X XPORTNAME= gplcver XPORTVERSION= 2.10.c XCATEGORIES= cad XMASTER_SITES= http://www.pragmatic-c.com/gpl-cver/downloads/ XDISTNAME= ${PORTNAME}-${PORTVERSION:R}${PORTVERSION:E}.src X XMAINTAINER= ports@FreeBSD.org XCOMMENT= A Verilog HDL simulator X XUSE_BZIP2= yes XBUILD_WRKSRC= ${WRKSRC}/src XUSE_GMAKE= yes XMAKEFILE= makefile.freebsd X XPLIST_FILES= bin/cver X Xdo-install: X ${INSTALL_PROGRAM} ${WRKSRC}/bin/cver ${PREFIX}/bin X X.include <bsd.port.mk> END-of-gplcver/Makefile echo x - gplcver/distinfo sed 's/^X//' >gplcver/distinfo << 'END-of-gplcver/distinfo' XMD5 (gplcver-2.10c.src.tar.bz2) = e6221b7b9bfacf57dbdc1fca13e249de XSIZE (gplcver-2.10c.src.tar.bz2) = 1183806 END-of-gplcver/distinfo echo x - gplcver/pkg-descr sed 's/^X//' >gplcver/pkg-descr << 'END-of-gplcver/pkg-descr' XGPL Cver is a full 1995 P1364 Verilog standard HDL simulator. It also Ximplements some of the 2001 P1364 standard features including all three XPLI interfaces (tf_, acc_ and vpi_) as defined in the 2001 Language XReference Manual (LRM). X XVerilog is the name for both a language for describing electronic hardware Xcalled a hardware description language (HDL) and the name of the program Xthat simulates HDL circuit descriptions to verify that described circuits Xwill function correctly when the are constructed. Verilog is used only for Xdescribing digital logic circuits. Other HDLs such as Spice are used for Xdescribing analog circuits. There is an IEEE standard named P1364 that Xstandardizes the Verilog HDL and the behavior of Verilog simulators. XVerilog is officially defined in the IEEE P1364 Language Reference XManual (LRM) that can be purchased from IEEE. There are many good books Xfor learning that teach the Verilog HDL and/or that teach digital circuit Xdesign using Verilog. X XWWW: http://www.pragmatic-c.com/gpl-cver/ END-of-gplcver/pkg-descr exit --- gplcver-2.10.c.shar ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20050513092516.B789A106C50>