mirror of
https://codeberg.org/guix/guix.git
synced 2026-01-25 12:05:19 -06:00
3bc84071cc
* gnu/packages/electronics.scm (iverilog): Update to 20251012. [native-inputs]: Add perl and tcsh. [synopsis]: Complete. [description]: Update. Change-Id: I27ecf7a5366e7e62fe1d4a0f92390384d207f54c
3827 lines
149 KiB
Scheme
3827 lines
149 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2016, 2017, 2018 Theodoros Foradis <theodoros@foradis.org>
|
||
;;; Copyright © 2018–2021 Tobias Geerinckx-Rice <me@tobias.gr>
|
||
;;; Copyright © 2019 Clément Lassieur <clement@lassieur.org>
|
||
;;; Copyright © 2019 Arun Isaac <arunisaac@systemreboot.net>
|
||
;;; Copyright © 2021, 2023, 2024 Efraim Flashner <efraim@flashner.co.il>
|
||
;;; Copyright © 2021 Leo Famulari <leo@famulari.name>
|
||
;;; Copyright © 2022, 2023, 2025 Maxim Cournoyer <maxim@guixotic.coop>
|
||
;;; Copyright © 2024 Juliana Sims <juli@incana.org>
|
||
;;; Copyright © 2025, 2026 Cayetano Santos <csantosb@inventati.org>
|
||
;;; Copyright © 2025 Sharlatan Hellseher <sharlatanus@gmail.com>
|
||
;;; Copyright © 2022 Konstantinos Agiannis <agiannis.kon@gmail.com>
|
||
;;; Copyright © 2015-2025 Ricardo Wurmus <rekado@elephly.net>
|
||
;;; Copyright © 2022, 2024, 2025 Artyom V. Poptsov <poptsov.artyom@gmail.com>
|
||
;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org>
|
||
;;; Copyright © 2019 Amin Bandali <bandali@gnu.org>
|
||
;;; Copyright © 2020, 2021, 2022, 2023, 2024, 2025 Vinicius Monego <monego@posteo.net>
|
||
;;; Copyright © 2021 Andrew Miloradovsky <andrew@interpretmath.pw>
|
||
;;; Copyright © 2022 Christian Gelinek <cgelinek@radlogic.com.au>
|
||
;;; Copyright © 2022 jgart <jgart@dismail.de>
|
||
;;; Copyright © 2023 Simon South <simon@simonsouth.net>
|
||
;;; Copyright © 2024 Jakob Kirsch <jakob.kirsch@web.de>
|
||
;;; Copyright © 2025 Zheng Junjie <873216071@qq.com>
|
||
;;; Copyright © 2022, 2025 Evgeny Pisemsky <mail@pisemsky.site>
|
||
;;; Copyright © 2025, Ekaitz Zarraga <ekaitz@elenq.tech>
|
||
;;; Copyright © 2021, 2022 Guillaume Le Vaillant <glv@posteo.net>
|
||
;;; Copyright © 2020, 2023 Marius Bakke <marius@gnu.org>
|
||
;;; Copyright © 2020 Vincent Legoll <vincent.legoll@gmail.com>
|
||
;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr>
|
||
;;; Copyright © 2025, 2026 Gabriel Wicki <gabriel@erlikon.ch>
|
||
;;; Copyright © 2026 Thomas Kramer <thomas@f-si.org>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (gnu packages electronics)
|
||
#:use-module ((guix licenses) #:prefix license:)
|
||
#:use-module (guix build-system cmake)
|
||
#:use-module (guix build-system copy)
|
||
#:use-module (guix build-system glib-or-gtk)
|
||
#:use-module (guix build-system gnu)
|
||
#:use-module (guix build-system meson)
|
||
#:use-module (guix build-system pyproject)
|
||
#:use-module (guix build-system python)
|
||
#:use-module (guix build-system qt)
|
||
#:use-module (guix deprecation)
|
||
#:use-module (guix download)
|
||
#:use-module (guix gexp)
|
||
#:use-module (guix git-download)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix utils)
|
||
#:use-module (gnu packages)
|
||
#:use-module (gnu packages algebra)
|
||
#:use-module (gnu packages autotools)
|
||
#:use-module (gnu packages base)
|
||
#:use-module (gnu packages bash)
|
||
#:use-module (gnu packages bison)
|
||
#:use-module (gnu packages boost)
|
||
#:use-module (gnu packages c)
|
||
#:use-module (gnu packages check)
|
||
#:use-module (gnu packages cmake)
|
||
#:use-module (gnu packages compression)
|
||
#:use-module (gnu packages cpp)
|
||
#:use-module (gnu packages curl)
|
||
#:use-module (gnu packages documentation)
|
||
#:use-module (gnu packages elf)
|
||
#:use-module (gnu packages engineering)
|
||
#:use-module (gnu packages embedded)
|
||
#:use-module (gnu packages flex)
|
||
#:use-module (gnu packages freedesktop)
|
||
#:use-module (gnu packages fontutils)
|
||
#:use-module (gnu packages gawk)
|
||
#:use-module (gnu packages gcc)
|
||
#:use-module (gnu packages gd)
|
||
#:use-module (gnu packages gdb)
|
||
#:use-module (gnu packages gettext)
|
||
#:use-module (gnu packages ghostscript)
|
||
#:use-module (gnu packages gl)
|
||
#:use-module (gnu packages glib)
|
||
#:use-module (gnu packages gnome)
|
||
#:use-module (gnu packages gperf)
|
||
#:use-module (gnu packages graphviz)
|
||
#:use-module (gnu packages gtk)
|
||
#:use-module (gnu packages image)
|
||
#:use-module (gnu packages java)
|
||
#:use-module (gnu packages libedit)
|
||
#:use-module (gnu packages libffi)
|
||
#:use-module (gnu packages libftdi)
|
||
#:use-module (gnu packages libusb)
|
||
#:use-module (gnu packages linux)
|
||
#:use-module (gnu packages llvm)
|
||
#:use-module (gnu packages man)
|
||
#:use-module (gnu packages maths)
|
||
#:use-module (gnu packages m4)
|
||
#:use-module (gnu packages maths)
|
||
#:use-module (gnu packages mpi)
|
||
#:use-module (gnu packages perl)
|
||
#:use-module (gnu packages pkg-config)
|
||
#:use-module (gnu packages python)
|
||
#:use-module (gnu packages python-build)
|
||
#:use-module (gnu packages python-check)
|
||
#:use-module (gnu packages python-science)
|
||
#:use-module (gnu packages python-web)
|
||
#:use-module (gnu packages python-xyz)
|
||
#:use-module (gnu packages qt)
|
||
#:use-module (gnu packages readline)
|
||
#:use-module (gnu packages ruby)
|
||
#:use-module (gnu packages sdl)
|
||
#:use-module (gnu packages serialization)
|
||
#:use-module (gnu packages shells)
|
||
#:use-module (gnu packages sphinx)
|
||
#:use-module (gnu packages sqlite)
|
||
#:use-module (gnu packages stb)
|
||
#:use-module (gnu packages swig)
|
||
#:use-module (gnu packages texinfo)
|
||
#:use-module (gnu packages textutils)
|
||
#:use-module (gnu packages tcl)
|
||
#:use-module (gnu packages tls)
|
||
#:use-module (gnu packages toolkits)
|
||
#:use-module (gnu packages version-control)
|
||
#:use-module (gnu packages web)
|
||
#:use-module (gnu packages xdisorg)
|
||
#:use-module (gnu packages xorg)
|
||
#:use-module (gnu packages xml))
|
||
|
||
(define-public aacircuit
|
||
;; No release in PyPI or version tag on Git, use the latest commit.
|
||
(let ((commit "18635c846754b6219da1a2ceb8977714f70004d0")
|
||
(revision "0"))
|
||
(package
|
||
(name "aacircuit")
|
||
(version (git-version "0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Blokkendoos/AACircuit")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "07agb7fbpbq74zm27j9b00imr46q6kpwhxzmmffw2s9scv80c1km"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:imported-modules `((guix build glib-or-gtk-build-system)
|
||
,@%pyproject-build-system-modules)
|
||
#:modules '(((guix build glib-or-gtk-build-system)
|
||
#:prefix glib-or-gtk:)
|
||
(guix build pyproject-build-system)
|
||
(guix build utils))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'generate-gdk-pixbuf-loaders-cache-file
|
||
(assoc-ref glib-or-gtk:%standard-phases
|
||
'generate-gdk-pixbuf-loaders-cache-file))
|
||
(replace 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
;; Delete develompent test file.
|
||
(delete-file "tests/test_flake.py")
|
||
;; Exclude tests intended for visual review.
|
||
(setenv "NOSE_EXCLUDE"
|
||
(string-join '("test_export_pdf"
|
||
"test_import_aacircuit_export_pdf")
|
||
","))
|
||
(setenv "HOME" "/tmp")
|
||
(invoke "xvfb-run" "./testrunner.sh"))))
|
||
(add-after 'wrap 'glib-or-gtk-wrap
|
||
(assoc-ref glib-or-gtk:%standard-phases
|
||
'glib-or-gtk-wrap))
|
||
(add-after 'glib-or-gtk-wrap 'wrap-aacircuit
|
||
(lambda _
|
||
(wrap-program (string-append #$output "/bin/aacircuit")
|
||
`("GDK_PIXBUF_MODULE_FILE" =
|
||
(,(getenv "GDK_PIXBUF_MODULE_FILE")))
|
||
`("GI_TYPELIB_PATH" ":" prefix
|
||
(,(getenv "GI_TYPELIB_PATH")))))))))
|
||
(native-inputs
|
||
;; XXX: Test runner may be migrated to Pytest
|
||
;; <https://docs.pytest.org/en/7.1.x/how-to/nose.html> after report to
|
||
;; the upstream to modify them, use deprecated Nose test runner for
|
||
;; now.
|
||
(list python-pynose
|
||
python-setuptools
|
||
xvfb-run))
|
||
(inputs
|
||
(list bash-minimal
|
||
gtk+
|
||
python-bresenham
|
||
python-platformdirs
|
||
python-pycairo
|
||
python-pyclip
|
||
python-pygobject
|
||
python-pypubsub))
|
||
(home-page "https://github.com/Blokkendoos/AACircuit")
|
||
(synopsis "Draw electronic circuits with ASCII characters")
|
||
(description
|
||
"This is a pythonized, kind of reverse engineered version of original
|
||
AACircuit written by Andreas Weber in Borland Delphi. The idea and GUI layout
|
||
are also taken from the original.")
|
||
(license license:gpl3+))))
|
||
|
||
(define-public abc
|
||
(let ((commit "c18b9a24de46d3b0209afa416511b7a1127344f9")
|
||
(revision "9"))
|
||
(package
|
||
(name "abc")
|
||
(version (git-version "0.0" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/berkeley-abc/abc")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"12fjhlr9r34l6kw2jyaalh53fs783r1h2zx0ldzaxxrbcslb0bxh"))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
(list readline))
|
||
(arguments
|
||
(list #:license-file-regexp "copyright.txt"
|
||
#:tests? #f ; no tests
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(replace 'install
|
||
(lambda _
|
||
(install-file "abc" (string-append #$output "/bin")))))))
|
||
(home-page "https://people.eecs.berkeley.edu/~alanmi/abc/")
|
||
(synopsis "Sequential logic synthesis and formal verification")
|
||
(description "ABC is a program for sequential logic synthesis and
|
||
formal verification.")
|
||
(license
|
||
(license:non-copyleft
|
||
"https://people.eecs.berkeley.edu/~alanmi/abc/copyright.htm")))))
|
||
|
||
(define-public abc-yosyshq
|
||
(package
|
||
(inherit abc)
|
||
(name "abc-yosyshq")
|
||
(version "0.61")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/abc/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0x6662719qdybkd46vh9aq3p20xngwn9g81155j96a4r6jdqm1js"))))
|
||
(home-page "https://github.com/YosysHQ/abc/")
|
||
(description "ABC is a program for sequential logic synthesis and
|
||
formal verification. This is the Yosyshq fork of ABC.")
|
||
(license (license:non-copyleft "file:///copyright.txt"))))
|
||
|
||
(define-public apycula
|
||
(package
|
||
(name "apycula")
|
||
(version "0.28")
|
||
;; The pypi tar.gz file includes the necessary .pickle files, not available
|
||
;; in the home-page repository.
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "apycula" version))
|
||
(sha256
|
||
(base32 "0llwcz4fji4sbdajlr43spf3mgdaw42rm15va1l9zb8314fn7wq1"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments (list #:tests? #f)) ;requires Gowin EDA tools
|
||
(inputs (list python-crc))
|
||
(native-inputs (list python-setuptools))
|
||
(home-page "https://github.com/YosysHQ/apicula/")
|
||
(synopsis "Gowin FPGA bitstream format")
|
||
(description
|
||
"The project Apycula provides tools to support development and
|
||
generating bitstreams with Gowin FPGAs.")
|
||
(license license:expat)))
|
||
|
||
(define-public camv-rnd
|
||
(package
|
||
(name "camv-rnd")
|
||
(version "1.1.6")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://repo.hu/projects/camv-rnd/"
|
||
"releases/camv-rnd-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1dp1vj5rpxlddx40paa9i727c92is3bz6z6pa0y6dy2nsjcm86fs"))))
|
||
(build-system glib-or-gtk-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'configure
|
||
;; The configure script doesn't tolerate most of our configure
|
||
;; flags.
|
||
(lambda _
|
||
(setenv "CC" #$(cc-for-target))
|
||
(setenv "LIBRND_PREFIX" #$(this-package-input "librnd"))
|
||
(invoke "./configure" (string-append "--prefix=" #$output)))))))
|
||
(inputs (list librnd))
|
||
(home-page "http://repo.hu/projects/route-rnd/")
|
||
(synopsis "Viewer for electronic boards in CAM file formats")
|
||
(description
|
||
"@code{Camv-rnd} is a viewer for @acronym{PCB, Printed Circuit Board}
|
||
supporting gerber, excellon and g-code. It is part of the RiNgDove EDA
|
||
suite.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public comedilib
|
||
(package
|
||
(name "comedilib")
|
||
(version "0.13.0")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "https://www.comedi.org/download/comedilib-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0jdw5gp02d8q3p4ldjrc3zaw0v435kmn3c95pv094gyxj3pwhacm"))))
|
||
(build-system gnu-build-system)
|
||
(synopsis "Library for Comedi")
|
||
(description "Comedilib is a user-space library that provides a
|
||
developer-friendly interface to Comedi devices. Comedi is a collection of
|
||
drivers for a variety of common data acquisition plug-in boards. The drivers
|
||
are implemented as a core Linux kernel module providing common functionality and
|
||
individual low-level driver modules.")
|
||
(home-page "https://www.comedi.org/")
|
||
(license license:lgpl2.1)))
|
||
|
||
(define-public eqy
|
||
(package
|
||
(name "eqy")
|
||
(version "0.61")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/eqy/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1lbi3pn4d2zmqy2pd3pvdv007znildr06ink2g8sh6c9zb74xrk4"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:imported-modules (append %default-gnu-imported-modules
|
||
%python-build-system-modules)
|
||
#:make-flags
|
||
#~(list (string-append "PREFIX=" #$output))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(delete 'build)
|
||
(delete 'check)
|
||
(add-after 'unpack 'build-info
|
||
(lambda _
|
||
(invoke "make" "-C" "docs" "info")
|
||
(install-file "docs/build/texinfo/yosyshqeqy.info"
|
||
(string-append #$output "/share/info"))))
|
||
(add-after 'unpack 'patch-/usr/bin/env
|
||
(lambda _
|
||
(substitute* "src/eqy_job.py"
|
||
(("\"/usr/bin/env\", ") ""))))
|
||
(add-after 'install 'check-after-install
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(setenv "PATH"
|
||
(string-append #$output "/bin:" (getenv "PATH")))
|
||
;; make test fails on upstream, see:
|
||
;; https://github.com/YosysHQ/eqy/actions/runs/18767539188/job/53545383858
|
||
(invoke "make" "-C" "examples/spm")
|
||
(invoke "make" "-C" "examples/simple"))))
|
||
(add-after 'install 'python:wrap
|
||
(@@ (guix build python-build-system) wrap)))))
|
||
(native-inputs
|
||
(list clang python-minimal-wrapper python-sphinx texinfo yosys))
|
||
(inputs
|
||
(list python-click python-json5 readline))
|
||
(home-page "https://yosyshq.readthedocs.io/projects/eqy/en/latest/")
|
||
(synopsis "Equivalence checking using formal verification with Yosys")
|
||
(description
|
||
"@command{Eqy} is an @acronym{EDA, Electronic Design Automation}
|
||
front-end driver program for Yosys-based formal hardware equivalence
|
||
checking. It performs formal verification on two designs, such as ensuring
|
||
that a synthesis tool has not introduced functional changes into a design, or
|
||
ensuring that a design refactor preserves correctness in all conditions.")
|
||
(license license:isc)))
|
||
|
||
(define-public ieee-p1076
|
||
(package
|
||
(name "ieee-p1076")
|
||
(version "2019")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://opensource.ieee.org/vasg/Packages/")
|
||
(commit (string-append "1076-" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1va626i5ww2ziw3dghw0d2mq7mrj5dwcn0h019h77866yw2pq9xn"))))
|
||
(build-system copy-build-system)
|
||
(native-inputs (list python-minimal-wrapper nvc python-vunit))
|
||
(arguments
|
||
(list
|
||
;; Not all 2019 features are supported by nvc compiler.
|
||
;; pass 1055 of 1648
|
||
#:tests? #f
|
||
#:install-plan
|
||
#~'(("ieee" "share/ieee/p1076/ieee" #:include ("vhdl"))
|
||
("std" "share/ieee/p1076/std" #:include ("vhdl")))))
|
||
(native-search-paths
|
||
(list (search-path-specification
|
||
(variable "IEEE-1076")
|
||
(separator #f)
|
||
(files (list "share/ieee/p1076")))))
|
||
(home-page "https://IEEE-P1076.gitlab.io")
|
||
(synopsis "VHDL libraries corresponding to the IEEE 1076 standard")
|
||
(description
|
||
"Open source materials intended for reference by the IEEE standard 1076,
|
||
as approved and published by the @acronym{VHDL, Very High Speed Hardware
|
||
Description Language} Analysis and Standardization Group.")
|
||
(license license:asl2.0)))
|
||
|
||
(define-public fftgen
|
||
(let ((commit "3378b77d83a98b06184656a5cb9b54e50dfe4485") ;no releases
|
||
(revision "1"))
|
||
(package
|
||
(name "fftgen")
|
||
(version (git-version "0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/ZipCPU/dblclockfft")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1rvln871wjkbbqnv88jnx328xlhn5sgbr8fglk3ajnd9rwgiq3jg"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-target "bench-test"
|
||
#:make-flags #~(list "CFLAGS=-g -O2") ;default flags lack -O2
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(replace 'install
|
||
(lambda _
|
||
(install-file "sw/fftgen"
|
||
(string-append #$output "/bin")))))))
|
||
(native-inputs (list bc fftw python-minimal verilator which))
|
||
(synopsis "Generic pipelined FFT core generator")
|
||
(description "fftgen produces @acronym{FFT, fast-Fourier transforms}
|
||
hardware designs in Verilog.")
|
||
(home-page "https://github.com/ZipCPU/zipcpu/")
|
||
(license license:lgpl3+))))
|
||
|
||
(define-public gerbv
|
||
(package
|
||
(name "gerbv")
|
||
(version "2.10.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/gerbv/gerbv")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "06bcm5zw7whsnnmfld3gl2j907lxc68gnsbzr2pc4w6qc923rgmj"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:configure-flags #~(list "CFLAGS=-O2 -g -fcommon")
|
||
#:phases #~(modify-phases %standard-phases
|
||
(add-after 'unpack 'patch-version-generator
|
||
(lambda _
|
||
(substitute* "utils/git-version-gen.sh"
|
||
(("/bin/bash")
|
||
(which "bash"))))))))
|
||
(native-inputs (list autoconf
|
||
automake
|
||
desktop-file-utils
|
||
gettext-minimal
|
||
;; Version generator needs git to work properly:
|
||
;; https://github.com/gerbv/gerbv/issues/244
|
||
git-minimal/pinned
|
||
`(,glib "bin")
|
||
libtool
|
||
pkg-config))
|
||
(inputs (list cairo
|
||
;; As of 2.10.0 gerbv is still GTK+2 only. GTK 3/4 porting
|
||
;; issue: https://github.com/gerbv/gerbv/issues/71.
|
||
gtk+-2))
|
||
(home-page "https://gerbv.github.io/")
|
||
(synopsis "Gerber file viewer")
|
||
(description
|
||
"Gerbv is a viewer for files in the Gerber format (RS-274X only), which
|
||
is commonly used to represent printed circuit board (PCB) layouts. Gerbv lets
|
||
you load several files on top of each other, do measurements on the displayed
|
||
image, etc. Besides viewing Gerbers, you may also view Excellon drill files
|
||
as well as pick-place files.")
|
||
;; This CVE has been fixed in version 2.10.0.
|
||
(properties '((lint-hidden-cve . ("CVE-2023-4508"))))
|
||
(license license:gpl2+)))
|
||
|
||
(define-public gnucap
|
||
(package
|
||
(name "gnucap")
|
||
(version "20171003")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"https://git.savannah.gnu.org/cgit/gnucap.git/snapshot/gnucap-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"16m09xa685qhj5fqq3bcgakrwnb74xhf5f7rpqkkf9fg8plzbb1g"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'configure
|
||
(lambda _
|
||
;; Set correct rpath so that gnucap finds libgnucap.so.
|
||
(substitute* (list "apps/configure" "lib/configure"
|
||
"main/configure" "modelgen/configure")
|
||
(("LDFLAGS =")
|
||
(string-append "LDFLAGS = -Wl,-rpath=" #$output "/lib")))
|
||
;; gnucap uses a hand-written configure script that expects the
|
||
;; --prefix argument to be the first argument passed to it.
|
||
(invoke "./configure" (string-append "--prefix=" #$output))))
|
||
(replace 'check
|
||
;; Attention: As discussed, a failing test in gnucap does not mean
|
||
;; the build process has failed. Therefor we ignore, but still
|
||
;; display the result of gnucap's test evaluation.
|
||
;; https://codeberg.org/guix/guix/issues/5469#issuecomment-9695825
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(let ((libpath "../lib/O:../apps/O"))
|
||
(with-directory-excursion "tests"
|
||
;; Fix expected plugin search path for test c_attach.1.gc
|
||
(substitute* "==out/c_attach.1.gc.out"
|
||
(("/usr/local/lib/gnucap")
|
||
(string-append libpath ":" #$output "/lib/gnucap")))
|
||
;; Set library path so that gnucap can find libgnucap.so
|
||
;; while running the tests.
|
||
(setenv "LD_LIBRARY_PATH" libpath)
|
||
(invoke "./test"
|
||
"../main/O/gnucap" "" "test-output"
|
||
"==out")))))))))
|
||
(inputs (list readline))
|
||
(home-page "https://www.gnu.org/software/gnucap/")
|
||
(synopsis "Mixed analog and digital circuit simulator")
|
||
(description "GNUcap is a circuit analysis package used for @acronym{EDA,
|
||
Electronic Design Automation}. It offers a general purpose circuit simulator
|
||
and can perform DC and transient analyses, fourier analysis and AC analysis.
|
||
The engine is designed to do true mixed-mode simulation.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public gtkwave
|
||
;; The last release is more than 2 years old, and there are improvements in
|
||
;; the master branch, such as GTK 4 support: pick the latest commit that
|
||
;; passes their CI.
|
||
(let ((commit "bb978d9d667d569b9153ffa34007e300302907dc")
|
||
(revision "0"))
|
||
(package
|
||
(name "gtkwave")
|
||
;; The version string can be found in meson.build.
|
||
(version (git-version "3.4.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/gtkwave/gtkwave")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1nv27cpz5937cb6bkhpw8w0ji6hm9xr8f0znvfwzfl1fwwypf23y"))))
|
||
(build-system meson-build-system)
|
||
(arguments (list #:glib-or-gtk? #t))
|
||
(native-inputs (list desktop-file-utils
|
||
flex
|
||
`(,glib "bin") ;for glib-mkenums
|
||
gobject-introspection
|
||
gperf
|
||
`(,gtk "bin")
|
||
pkg-config))
|
||
(inputs (list gtk gtk+ libfst))
|
||
(synopsis "Waveform viewer for FPGA simulator trace files")
|
||
(description "This package is a waveform viewer for @acronym{FST, FPGA
|
||
Simulator Trace} files.")
|
||
(home-page "https://github.com/gtkwave/gtkwave")
|
||
;; Exception against free government use in tcl_np.c and tcl_np.h.
|
||
(license (list license:gpl2+ license:expat license:tcl/tk)))))
|
||
|
||
(define-public iverilog
|
||
(package
|
||
(name "iverilog")
|
||
(version "20251012")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/steveicarus/iverilog")
|
||
(commit
|
||
(string-append "s" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "05k4x4lcgx554w2a8qcmmgjmg0k6swvcwl1pn5kcv4xafcz6rmxj"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:bootstrap-scripts #~(list "autoconf.sh")
|
||
#:phases #~(modify-phases %standard-phases
|
||
(add-after 'unpack 'ensure-native-baked-CC/CXX
|
||
(lambda _
|
||
;; The compilers used to build are retained in
|
||
;; bin/iverilog-vpi, which is a Makefile
|
||
;; script. Normalize these to just 'gcc' and 'g++' to
|
||
;; avoid having these set to cross compilers.
|
||
(substitute* "Makefile.in"
|
||
(("s;@IVCC@;\\$\\(CC);")
|
||
"s;@IVCC@;gcc;")
|
||
(("s;@IVCXX@;\\$\\(CXX);")
|
||
"s;@IVCXX@;g++;")))))))
|
||
(native-inputs (list autoconf bison flex gperf perl tcsh))
|
||
(inputs (list zlib))
|
||
(home-page "https://steveicarus.github.io/iverilog/")
|
||
(synopsis "Verilog/SystemVerilog HDL compiler")
|
||
(description
|
||
"Icarus Verilog is a Verilog/SystemVerilog @acronym{EDA, Electronic
|
||
Design Automation} compiler that generates code employed by back-end
|
||
tools. It operates compiling source code written in Verilog
|
||
(IEEE-1364) and SystemVerilog (IEEE-1800) into some target format.
|
||
For batch simulation, the compiler can generate an intermediate form
|
||
called vvp assembly. This intermediate form is executed by @command{vvp}.
|
||
For synthesis, the compiler generates netlists in the desired format.")
|
||
;; GPL2 only because of:
|
||
;; - ./driver/iverilog.man.in
|
||
;; - ./iverilog-vpi.man.in
|
||
;; - ./tgt-fpga/iverilog-fpga.man
|
||
;; - ./vvp/vvp.man.in
|
||
;; Otherwise would be GPL2+.
|
||
;; You have to accept both GPL2 and LGPL2.1+.
|
||
(license (list license:gpl2 license:lgpl2.1+))))
|
||
|
||
(define-public icestorm
|
||
(package
|
||
(name "icestorm")
|
||
(version "1.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/icestorm/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0yh36kd23y4sk65g34r1h244ax9fj5c668y6pwqwaq3c0nmb3d28"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no tests
|
||
#:make-flags
|
||
#~(list (string-append "CC=" #$(cc-for-target))
|
||
(string-append "CXX=" #$(cxx-for-target))
|
||
(string-append "PREFIX=" #$output)
|
||
"ICEPROG=1")
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-usr-local
|
||
(lambda _
|
||
(substitute* "config.mk"
|
||
(("/usr/local")
|
||
#$output))
|
||
(substitute* "icepack/Makefile"
|
||
(("/usr/local")
|
||
#$output))
|
||
(substitute* "icebox/Makefile"
|
||
(("/usr/local")
|
||
#$output))
|
||
(substitute* "icebox/icebox_vlog.py"
|
||
(("/usr/local")
|
||
#$output))))
|
||
(add-after 'build 'make-info
|
||
(lambda _
|
||
(with-directory-excursion "docs"
|
||
(invoke "make" "info")
|
||
(install-file "build/texinfo/projecticestorm.info"
|
||
(string-append #$output "/share/info"))
|
||
(copy-recursively
|
||
"build/texinfo/projecticestorm-figures"
|
||
(string-append #$output
|
||
"/share/info/projecticestorm-figures")))))
|
||
(delete 'configure))))
|
||
(inputs
|
||
(list libftdi))
|
||
(native-inputs
|
||
(list pkg-config
|
||
python-minimal
|
||
python-sphinx-rtd-theme
|
||
python-sphinxcontrib-svg2pdfconverter
|
||
texinfo))
|
||
(home-page "https://prjicestorm.readthedocs.io/")
|
||
(synopsis "Bitstream tools for Lattice iCE40 FPGAs")
|
||
(description
|
||
"Project IceStorm aims at documenting the bitstream format of Lattice
|
||
iCE40 FPGAs and providing simple tools for analyzing and creating bitstream
|
||
files.")
|
||
(license license:isc)))
|
||
|
||
(define-public json-for-vhdl
|
||
;; No tagged releases.
|
||
(let ((commit "0dc9e317440263cd4941f157f5e5668baa858ec2")
|
||
(revision "0"))
|
||
(package
|
||
(name "json-for-vhdl")
|
||
(version (git-version "20220905" revision commit)) ;last revision
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Paebbels/JSON-for-VHDL/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1062g2c3dpsb67zhqrn1j04p7jl28g4mcxd6nhrqqfffjsvxkpw9"))))
|
||
(build-system copy-build-system)
|
||
(arguments
|
||
(list
|
||
#:install-plan
|
||
#~'(("src" "share/json-for-vhdl"
|
||
#:include ("vhdl")))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
;; The examples/Encodings_VUnit test requires vhdl builtins.
|
||
(add-after 'unpack 'fix-check
|
||
(lambda _
|
||
(substitute* "tests/VUnit/run.py"
|
||
(("from_argv\\(\\)")
|
||
"from_argv()\nvu.add_vhdl_builtins()"))))
|
||
(add-after 'install 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(invoke "python3" "tests/VUnit/run.py" "-v")))))))
|
||
(native-inputs
|
||
(list nvc python-minimal python-vunit))
|
||
(home-page "https://github.com/Paebbels/JSON-for-VHDL/")
|
||
(synopsis "Parse and query JSON data structures in VHDL")
|
||
(description
|
||
"The JSON-for-VHDL library provides a parser to query JSON data
|
||
structures from external files on disk. It provides a context to be
|
||
used in the declarative section of design units.")
|
||
(license license:asl2.0))))
|
||
|
||
;;; Required by python-vunit.
|
||
(define json-for-vhdl-for-vunit
|
||
(let ((commit "95e848b8902c6b4275d715462e1a2cc60706917c") ;sync with vunit
|
||
(revision "0"))
|
||
(package
|
||
(inherit json-for-vhdl)
|
||
(name "json-for-vhdl-for-vunit")
|
||
(version (git-version "20220106" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Paebbels/JSON-for-VHDL/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1c106hm0sfnzdi5j9vaacjlz7i5m1dm75j7lrgcdsa4siw5ac7k3"))))
|
||
(arguments
|
||
(list
|
||
#:install-plan
|
||
#~'(("src" "share/json-for-vhdl" #:include ("vhdl")))))
|
||
(native-inputs
|
||
'()))))
|
||
|
||
(define-public klayout
|
||
(package
|
||
(name "klayout")
|
||
(version "0.30.5")
|
||
(source
|
||
(origin (method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/KLayout/klayout")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1ixl8wzpiaw6frb28x9y9jy3fvhjclmn4xl77i72rs37rf4i2a2s"))))
|
||
(build-system copy-build-system)
|
||
(arguments
|
||
(list
|
||
#:install-plan
|
||
#~'(("output/klayout" "bin/")
|
||
("output/" "bin/" #:include-regexp ("strm.*"))
|
||
("output/" "lib/" #:include-regexp ("lib.*\\.so.*"))
|
||
("output/pymod" "lib/"))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'install 'patch-build-script ;; ensure reproducibility
|
||
(lambda _
|
||
(substitute* "build.sh"
|
||
(("KLAYOUT_VERSION_DATE=\"\\$KLAYOUT_VERSION_DATE\"")
|
||
"KLAYOUT_VERSION_DATE=1970-01-01"))))
|
||
(add-after 'patch-build-script 'disable-failing-tests
|
||
(lambda _
|
||
(substitute* "src/tl/unit_tests/unit_tests.pro"
|
||
;; These need internet connection.
|
||
((" tlWebDAVTests\\.cc")
|
||
"# tlWebDAVTests.cc \\")
|
||
((" tlGitTests\\.cc")
|
||
"# tlGitTests.cc \\")
|
||
((" tlHttpStreamTests\\.cc")
|
||
"# tlHttpStreamTests.cc \\")
|
||
;; The threaded tests are reportedly flaky.
|
||
((" tlThreadedWorkersTests\\.cc")
|
||
"# tlThreadedWorkersTests\\.cc \\"))
|
||
(substitute* "src/rba/rba.pro"
|
||
;; There are issues of non-detereminism involved with Ruby's GC
|
||
;; implementation. https://github.com/KLayout/klayout/issues/2251
|
||
(("SUBDIRS = rba unit_tests")
|
||
"SUBDIRS = rba")
|
||
(("unit_tests.depends += rba")
|
||
""))))
|
||
(add-after 'disable-failing-tests 'build
|
||
(lambda _
|
||
(invoke "bash" "build.sh"
|
||
"-prefix" "output"
|
||
"-option"
|
||
(string-append "-j" (number->string (parallel-job-count))))))
|
||
(add-after 'install 'patch-elfs
|
||
(lambda _
|
||
(let* ((lib (string-append #$output "/lib"))
|
||
(layout-lib (string-append lib "/lay_plugins"))
|
||
(db-lib (string-append lib "/db_plugins"))
|
||
(bin (string-append #$output "/bin"))
|
||
(executables (filter executable-file? (find-files #$output)))
|
||
(ut-runner "build-release/ut_runner")
|
||
(unit-tests (cons* ut-runner
|
||
(find-files "build-release" "\\.ut")))
|
||
(patchem (lambda (elf)
|
||
(when (not (string-suffix? ".py" elf))
|
||
(invoke "patchelf" "--add-rpath" lib elf)
|
||
(invoke "patchelf" "--add-rpath" layout-lib elf)
|
||
(invoke "patchelf" "--add-rpath" db-lib elf)))))
|
||
(map patchem executables)
|
||
(map patchem unit-tests)
|
||
(patchem ut-runner))))
|
||
(add-after 'patch-elfs 'check-after-install
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(with-directory-excursion "build-release"
|
||
(mkdir "testtmp")
|
||
(setenv "TESTTMP" "testtmp")
|
||
(setenv "TESTSRC" "..")
|
||
(setenv "LD_LIBRARY_PATH" ".")
|
||
(setenv "QT_QPA_PLATFORM" "offscreen")
|
||
(setenv "HOME" "/tmp/home") ;; Fontconfig needs a writable cache.
|
||
(invoke "./ut_runner"))))))))
|
||
(native-inputs (list perl python qtsvg ruby tcl))
|
||
(inputs
|
||
(list bash-minimal
|
||
libgit2
|
||
patchelf
|
||
qt5compat
|
||
qtbase
|
||
qtmultimedia
|
||
qtsvg
|
||
qttools))
|
||
(home-page "https://www.klayout.de")
|
||
(synopsis "Mask layout editor")
|
||
(description "KLayout is @acronym{EDA, Electronic Design Automation}
|
||
software. It is a scriptable @acronym{VLSI, Very Large Scale Integration}
|
||
layout editor used for visualizing and editing mask data, transcoding between
|
||
different file formats (GDSII and OASIS), executing @acronym{DRC, Design rule
|
||
checking}, @acronym{LVS, Layout Versus Schematic} verification, and drawing of
|
||
chip cross-sections basked on mask data.")
|
||
;; The license version will be clarified with the next version bump.
|
||
(license license:gpl3+)))
|
||
|
||
(define-public lctime
|
||
(package
|
||
(name "lctime")
|
||
(version "0.0.28")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://codeberg.org/librecell/lctime")
|
||
(commit version)))
|
||
(sha256
|
||
(base32 "18s7by4ndxxha1yr6sns389smgrz9df5sgqwvvxcw8wwv8v7mpjd"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'patch-ngspice-path
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "src/lctime/characterization/ngspice_subprocess.py"
|
||
(("= 'ngspice'")
|
||
(format #f "= ~s"
|
||
(search-input-file inputs "bin/ngspice"))))))
|
||
(replace 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(invoke "bash" "./run_tests.sh")))))))
|
||
(inputs (list ngspice
|
||
pyspice
|
||
python-joblib
|
||
python-klayout
|
||
python-liberty-parser
|
||
python-networkx
|
||
python-numpy
|
||
python-ply
|
||
python-requests
|
||
python-scipy
|
||
python-sympy))
|
||
(native-inputs (list bash-minimal python-pytest python-setuptools))
|
||
(home-page "https://codeberg.org/librecell/lctime")
|
||
(synopsis "CMOS standard-cell characterization tool")
|
||
(description
|
||
"lctime extracts timing and power characteristics of CMOS standard-cells.
|
||
It simulates the netlists of the cells with ngspice and writes the
|
||
characterization result in a liberty library file.")
|
||
(license license:agpl3+)))
|
||
|
||
(define-public libngspice
|
||
;; Note: The ngspice's build system does not allow us to build both the
|
||
;; library and the executables in one go. Thus, we have two packages.
|
||
;; See <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=27344#236>.
|
||
(package
|
||
(name "libngspice")
|
||
(version "45.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.code.sf.net/p/ngspice/ngspice")
|
||
(commit (string-append "ngspice-" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0k32v64dhnv1abbgxd782qx0gzbwcfg3ijz9549j7bskik6kl2zr"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;there are no tests for libngspice
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'install 'delete-scripts
|
||
(lambda _
|
||
(delete-file-recursively
|
||
(string-append #$output "/share/ngspice/scripts")))))
|
||
#:configure-flags
|
||
#~(list "--enable-openmp"
|
||
"--enable-cider"
|
||
"--enable-xspice"
|
||
"--with-ngshared")))
|
||
(native-inputs
|
||
(list autoconf-2.71
|
||
automake
|
||
bison
|
||
flex
|
||
libtool))
|
||
(home-page "https://ngspice.sourceforge.io/")
|
||
(synopsis "Mixed-level/mixed-signal circuit simulator")
|
||
(description
|
||
"Ngspice is a mixed-level/mixed-signal circuit simulator. It includes
|
||
@code{Spice3f5}, a circuit simulator, and @code{Xspice}, an extension that
|
||
provides code modeling support and simulation of digital components through
|
||
an embedded event driven algorithm.")
|
||
(license (list license:lgpl2.0+ ;code in frontend/numparam
|
||
(license:non-copyleft "file:///COPYING") ;spice3 bsd-style
|
||
license:bsd-3 ;ciderlib
|
||
license:public-domain)))) ;xspice
|
||
|
||
(define librnd
|
||
(package
|
||
(name "librnd")
|
||
(version "4.3.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://www.repo.hu/projects/librnd/"
|
||
"releases/librnd-" version ".tar.bz2"))
|
||
(sha256
|
||
(base32
|
||
"1qjv6gg9fb3rpvr1y9l5nbzz2xk2sa4nqz0dgwvds5hc1bmd97mf"))))
|
||
(build-system glib-or-gtk-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #false ;no check target
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
;; The configure script doesn't tolerate most of our configure
|
||
;; flags.
|
||
(replace 'configure
|
||
(lambda _
|
||
(setenv "CC" #$(cc-for-target))
|
||
(invoke "./configure" (string-append "--prefix=" #$output)))))))
|
||
(inputs
|
||
(list gd glib glu gtk gtkglext libepoxy))
|
||
(native-inputs
|
||
(list pkg-config))
|
||
(home-page "http://repo.hu/projects/librnd/")
|
||
(synopsis "Two-dimensional CAD engine")
|
||
(description "This is a flexible, modular two-dimensional CAD engine
|
||
@itemize
|
||
@item with transparent multiple GUI toolkit support;
|
||
@item a flexible, dynamic menu system;
|
||
@item a flexible, dynamic configuration system; and
|
||
@item support for user scripting in a dozen languages.
|
||
@end itemize")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public libfst
|
||
;; There are no release nor tags.
|
||
(let ((commit "6a52070cd62ec65c29832bc95e7db493504aa7ac")
|
||
(revision "0"))
|
||
(package
|
||
(name "libfst")
|
||
(version (git-version "1.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/gtkwave/libfst/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0b1r660m5aib316jjl4nhs10y7vhhqy2mvxjip3ynahig3hpi46z"))))
|
||
(build-system meson-build-system)
|
||
(native-inputs (list gobject-introspection pkg-config))
|
||
(inputs (list bzip2))
|
||
(propagated-inputs (list zlib)) ;in Requires.private of libfst.pc
|
||
(synopsis "Fast Signal Trace (FST) format waveforms library")
|
||
(description "Libfst is a small library used to read and write
|
||
@acronym{FST, Fast Signal Trace} format waveforms.")
|
||
(home-page "https://github.com/gtkwave/libfst/")
|
||
(license (list license:expat ;libfst and fastlz-derived sources
|
||
license:bsd-2))))) ;for lz4-derived sources
|
||
|
||
(define-public libpsf
|
||
;; There are no release nor tags.
|
||
(let ((commit "001dc734e01725e739847c8cde6480a0cf35a082")
|
||
(revision "0"))
|
||
(package
|
||
(name "libpsf")
|
||
(version (git-version "0.2" revision commit)) ;0.2 from configure.ac
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://gitlab.com/libpsf/libpsf-core")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "19k03hwwz4pkb98hd7vf15x6dnhfd48iqj62n90s7ycx1y5a378r"))
|
||
(modules '((guix build utils)))
|
||
;; remove broken psftest binary using hardcoded paths
|
||
(snippet '(substitute* "src/Makefile.am"
|
||
(("bin_PROGRAMS = psftest") "bin_PROGRAMS =")))))
|
||
;; tests are broken due to missing test/data/tran.tran file
|
||
(arguments (list #:tests? #f))
|
||
(build-system gnu-build-system)
|
||
(native-inputs (list autoconf automake libtool))
|
||
(inputs (list boost))
|
||
(synopsis "PSF simulation data c++ library")
|
||
(description "@code{libpsf} is a c++ library that reads Cadence
|
||
@acronym{PSF, Parameter Storage Format} binary waveform files.")
|
||
(home-page "https://gitlab.com/libpsf/libpsf-core")
|
||
(license license:lgpl3))))
|
||
|
||
(define-public libserialport
|
||
(package
|
||
(name "libserialport")
|
||
(version "0.1.2")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "git://sigrok.org/libserialport")
|
||
(commit (string-append name "-" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0dn10gmm3rwdsiw1psaczb9m52x6cfkfrbywm4f5y8fsmghh7dsy"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs (list autoconf automake libtool))
|
||
(home-page "https://sigrok.org/wiki/Libserialport")
|
||
(synopsis "Library for using serial ports")
|
||
(description "Libserialport is a minimal shared library written in C that is intended
|
||
to take care of the OS-specific details when writing software that uses serial ports.")
|
||
(license license:lgpl3+)))
|
||
|
||
(define-public libsigrok
|
||
(let ((commit "f06f788118191d19fdbbb37046d3bd5cec91adb1")
|
||
(revision "2"))
|
||
(package
|
||
(name "libsigrok")
|
||
(version (git-version "0.5.2" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "git://sigrok.org/libsigrok")
|
||
(commit commit)))
|
||
(sha256
|
||
(base32 "1ahgpa0gaa4fl8c6frpgamvgxg0fisfwlqddr5x25456vkk2i9zi"))
|
||
(file-name (git-file-name name version))))
|
||
(outputs '("out" "doc"))
|
||
(arguments
|
||
(list
|
||
#:tests? #f ; tests need USB access
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'configure 'change-udev-group
|
||
(lambda _
|
||
(substitute* (find-files "contrib" "\\.rules$")
|
||
(("plugdev") "dialout"))))
|
||
(add-after 'build 'build-doc
|
||
(lambda _
|
||
(invoke "doxygen")))
|
||
(add-after 'install 'install-doc
|
||
(lambda _
|
||
(copy-recursively
|
||
"doxy/html-api"
|
||
(string-append #$output:doc "/share/doc/libsigrok"))))
|
||
(add-after 'install-doc 'install-udev-rules
|
||
(lambda _
|
||
(for-each
|
||
(lambda (file)
|
||
(install-file
|
||
file
|
||
(string-append #$output "/lib/udev/rules.d/")))
|
||
(find-files "contrib" "\\.rules$"))))
|
||
(add-after 'install-udev-rules 'install-fw
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let* ((fx2lafw (assoc-ref inputs "sigrok-firmware-fx2lafw"))
|
||
(dir-suffix "/share/sigrok-firmware/")
|
||
(input-dir (string-append fx2lafw dir-suffix))
|
||
(output-dir (string-append #$output dir-suffix)))
|
||
(for-each
|
||
(lambda (file)
|
||
(install-file file output-dir))
|
||
(find-files input-dir "."))))))))
|
||
(native-inputs
|
||
(list autoconf automake doxygen graphviz libtool
|
||
sigrok-firmware-fx2lafw pkg-config))
|
||
(inputs
|
||
(list python zlib))
|
||
;; libsigrokcxx.pc lists "glibmm" in Requires libsigrok.pc lists
|
||
;; "libserialport", "libusb", "libftdi" and "libzip" in Requires.private
|
||
;; and "glib" in Requires
|
||
(propagated-inputs
|
||
(list glib
|
||
glibmm-2.66
|
||
libserialport
|
||
libusb
|
||
libftdi
|
||
libzip))
|
||
(build-system gnu-build-system)
|
||
(home-page "https://www.sigrok.org/wiki/Libsigrok")
|
||
(synopsis "Basic hardware access drivers for logic analyzers")
|
||
(description "@code{libsigrok} is a shared library written in C which
|
||
provides the basic hardware access drivers for logic analyzers and other
|
||
supported devices, as well as input/output file format support.")
|
||
(license license:gpl3+))))
|
||
|
||
(define-public libsigrokdecode
|
||
(let ((commit "71f451443029322d57376214c330b518efd84f88")
|
||
(revision "1"))
|
||
(package
|
||
(name "libsigrokdecode")
|
||
(version (git-version "0.5.3" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "git://sigrok.org/libsigrokdecode")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"11l8vnf2khqbaqas7cfnq3f8q5w7am6nbkkd5mqj5kpb3ya2avb9"))))
|
||
(outputs '("out" "doc"))
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'build 'build-doc
|
||
(lambda _
|
||
(invoke "doxygen")))
|
||
(add-after 'install 'install-doc
|
||
(lambda _
|
||
(copy-recursively
|
||
"doxy/html-api"
|
||
(string-append #$output:doc
|
||
"/share/doc/libsigrokdecode")))))))
|
||
(native-inputs
|
||
(list check doxygen graphviz pkg-config automake autoconf libtool))
|
||
;; libsigrokdecode.pc lists "python" in Requires.private, and "glib" in
|
||
;; Requires.
|
||
(propagated-inputs
|
||
(list glib python))
|
||
(build-system gnu-build-system)
|
||
(home-page "https://www.sigrok.org/wiki/Libsigrokdecode")
|
||
(synopsis
|
||
"Library providing (streaming) protocol decoding functionality")
|
||
(description
|
||
"Libsigrokdecode is a shared library written in C, which provides
|
||
(streaming) protocol decoding functionality.")
|
||
(license license:gpl3+))))
|
||
|
||
(define-public m8c
|
||
(package
|
||
(name "m8c")
|
||
(version "2.2.3")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/laamaa/m8c")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1ib751mfrz6ni6imx0gwbm7zjpw1c5x8l15hrdxm4f69vrm6vgkj"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no tests
|
||
#:configure-flags
|
||
#~(list "-DUSE_LIBUSB=ON")))
|
||
(native-inputs
|
||
(list pkg-config))
|
||
(inputs
|
||
(list libdecor libusb sdl3))
|
||
(home-page "https://github.com/laamaa/m8c")
|
||
(synopsis "Cross-platform M8 tracker headless client - usb backend")
|
||
(description
|
||
"The @url{https://dirtywave.com/products/m8-tracker,Dirtywave M8 Tracker}
|
||
is a portable sequencer and synthesizer, featuring 8 tracks of assignable
|
||
instruments such as FM, waveform synthesis, virtual analog, sample playback, and
|
||
MIDI output. It is powered by a @url{https://www.pjrc.com/teensy/,Teensy}
|
||
micro-controller and inspired by the Gameboy tracker
|
||
@url{https://www.littlesounddj.com/lsd/index.php,Little Sound DJ}. m8c is a
|
||
client for @url{https://github.com/Dirtywave/M8HeadlessFirmware,M8 Headless}
|
||
which allows one to install the M8 firmware on any Teensy.")
|
||
(license (list license:cc-by-sa3.0
|
||
license:expat
|
||
license:public-domain
|
||
license:zlib))))
|
||
|
||
(define-public m8c-serial
|
||
(package
|
||
(inherit m8c)
|
||
(name "m8c-serial")
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments m8c)
|
||
((#:configure-flags flags)
|
||
#~(cons* "-DUSE_LIBSERIAL=ON"
|
||
(delete "-DUSE_LIBUSB=ON" #$flags)))))
|
||
(inputs
|
||
(modify-inputs (package-inputs m8c)
|
||
(replace "libusb" libserialport)))
|
||
(synopsis "Cross-platform M8 tracker headless client - serial backend")))
|
||
|
||
(define-public magic
|
||
(package
|
||
(name "magic")
|
||
(version "8.3.590")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/RTimothyEdwards/magic")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1akx502h85g9r7nb45sb6pk9pk0d6aapnm3z3k4yc9ldvigrmzly"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no tests
|
||
#:configure-flags
|
||
#~(list (string-append
|
||
"--with-tcl=" #$(this-package-input "tcl"))
|
||
(string-append
|
||
"--with-tk=" #$(this-package-input "tk")))))
|
||
(inputs (list cairo
|
||
glu
|
||
libx11
|
||
mesa
|
||
python
|
||
readline
|
||
tcl
|
||
tk))
|
||
(home-page "http://opencircuitdesign.com/magic/index.html")
|
||
(synopsis "@acronym{VLSI, Very-large-scale integration} layout tool")
|
||
(description
|
||
"Magic is an interactive @acronym{EDA, Electronic Design Automation} layout
|
||
tool. It can run @acronym{DRC, design rule check} and @acronym{LVS, layout
|
||
versus schematic} tests and can assist with automatic routing.")
|
||
(license license:bsd-0)))
|
||
|
||
;; TODO: Unbundle scintilla when ScintillaEdit.h is available.
|
||
(define-public mcy
|
||
(package
|
||
(name "mcy")
|
||
(version "0.61")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/mcy/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "12hfnbb2kamins2azy43j2ii8ih7agnj9zizg9zv6h5zyrwb3rw9"))))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;there are no tests
|
||
#:imported-modules (append %qt-build-system-modules
|
||
%python-build-system-modules)
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'build-info-documentation
|
||
(lambda _
|
||
(invoke "make" "-C" "docs" "info")
|
||
(install-file "docs/build/texinfo/yosyshqmcy.info"
|
||
(string-append #$output "/share/info"))))
|
||
(add-before 'configure 'chdir
|
||
(lambda _
|
||
(chdir "gui")))
|
||
;; As per main Makefile install target.
|
||
(add-after 'install 'make-install
|
||
(lambda _
|
||
(chdir "..")
|
||
(copy-recursively
|
||
"scripts" (string-append #$output "/share/mcy/scripts"))
|
||
(copy-recursively
|
||
"dash" (string-append #$output "/share/mcy/dash"))
|
||
;; (mkdir-p (string-append #$output "/bin"))
|
||
(define (install-it filename)
|
||
(let* ((bin (format #f "~a/bin" #$output))
|
||
(bin_ (format #f "~a/~a" bin filename)))
|
||
(install-file (format #f "~a.py" filename) bin)
|
||
(rename-file (format #f "~a/~a.py" bin filename) bin_)
|
||
(chmod bin_ #o755)))
|
||
(install-it "mcy")
|
||
(install-it "mcy-dash")))
|
||
(add-after 'make-install 'python:wrap
|
||
(@@ (guix build python-build-system) wrap)))))
|
||
(native-inputs
|
||
(list pkg-config
|
||
python-sphinx
|
||
python-minimal-wrapper ;remove with unbundling of scintilla
|
||
texinfo))
|
||
(inputs
|
||
(list boost python python-click python-flask))
|
||
(home-page "https://yosyshq.readthedocs.io/projects/mcy/en/latest/")
|
||
(synopsis "Mutation Cover with Yosys")
|
||
(description
|
||
"@command{Mcy} is an @acronym{EDA, Electronic Design Automation} tool to
|
||
help digital designers and project managers understand and improve testbench
|
||
coverage.")
|
||
(license license:isc)))
|
||
|
||
(define-public nextpnr
|
||
(let ((commit "ad76625d4d828cb093b55aa9f5aae59b7ba9724f")
|
||
(revision "0"))
|
||
(package
|
||
(name "nextpnr")
|
||
(version (git-version "0.9" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/nextpnr/")
|
||
(commit commit)
|
||
;; XXX: Fetch some bundled libraries such as QtPropertyBrowser,
|
||
;; json11 and python-console, which have custom modifications or
|
||
;; no longer have their original upstream.
|
||
(recursive? #t)))
|
||
(file-name (git-file-name name version))
|
||
(modules '((guix build utils)
|
||
(ice-9 ftw)
|
||
(srfi srfi-26)))
|
||
(snippet
|
||
'(begin
|
||
;; XXX: 'delete-all-but' is copied from the turbovnc package.
|
||
(define (delete-all-but directory . preserve)
|
||
(with-directory-excursion directory
|
||
(let* ((pred (negate (cut member <>
|
||
(cons* "." ".." preserve))))
|
||
(items (scandir "." pred)))
|
||
(for-each (cut delete-file-recursively <>) items))))
|
||
(delete-all-but "3rdparty"
|
||
;; The following sources have all been patched, so
|
||
;; cannot easily be unbundled.
|
||
"QtPropertyBrowser"
|
||
"json11"
|
||
"python-console"
|
||
"oourafft")))
|
||
(patches (search-patches "nextpnr-gtest.patch"
|
||
"nextpnr-imgui.patch"))
|
||
(sha256
|
||
(base32 "1zjxvkycg5xx605d4ark8gd10w4xni1wd10chmhv983dvyv875br"))))
|
||
(outputs '("out" "bba"))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
(list
|
||
#:configure-flags
|
||
#~(list "-DARCH=generic;ice40;ecp5;himbaechel"
|
||
"-DBUILD_GUI=ON"
|
||
"-DUSE_OPENMP=ON"
|
||
"-DBUILD_TESTS=ON"
|
||
"-DHIMBAECHEL_UARCH=ng-ultra;gowin;gatemate"
|
||
"-DHIMBAECHEL_NGULTRA_DEVICES=ng-ultra"
|
||
"-DHIMBAECHEL_SPLIT=ON"
|
||
(string-append "-DHIMBAECHEL_PRJBEYOND_DB="
|
||
(search-input-directory
|
||
%build-inputs "share/prjbeyond-db"))
|
||
(string-append "-DHIMBAECHEL_PEPPERCORN_PATH="
|
||
(search-input-directory
|
||
%build-inputs "share/prjpeppercorn"))
|
||
(string-append
|
||
"-DEXPORT_BBA_FILES=" #$output:bba "/share/nextpnr/bba-files")
|
||
(string-append "-DCURRENT_GIT_VERSION=nextpnr-" #$version)
|
||
(string-append "-DICESTORM_INSTALL_PREFIX="
|
||
#$(this-package-native-input "icestorm"))
|
||
(string-append "-DTRELLIS_INSTALL_PREFIX="
|
||
#$(this-package-native-input "prjtrellis")))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'unbundle-sanitizers-cmake
|
||
(lambda _
|
||
(substitute* "CMakeLists.txt"
|
||
;; Use the system sanitizers-cmake module. This is made
|
||
;; necessary 'sanitizers-cmake' installing a FindPackage
|
||
;; module but no CMake config file.
|
||
(("\\$\\{CMAKE_SOURCE_DIR}/3rdparty/sanitizers-cmake/cmake")
|
||
(string-append
|
||
#$(this-package-native-input "sanitizers-cmake")
|
||
"/share/sanitizers-cmake/cmake")))))
|
||
(add-after 'install 'run-tests
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(setenv "PATH"
|
||
(string-append #$output "/bin:" (getenv "PATH")))
|
||
;; ice40
|
||
(invoke "./nextpnr-ice40-test")
|
||
(chdir "../source")
|
||
(setenv "NEXTPNR" "nextpnr-ice40")
|
||
(with-directory-excursion "ice40/smoketest/attosoc"
|
||
(invoke "./smoketest.sh"))
|
||
(with-directory-excursion "tests/ice40/regressions"
|
||
(invoke "make" (string-append
|
||
"NPNR=" #$output "/bin/nextpnr-ice40")))
|
||
;; generic
|
||
(setenv "NPNR" "nextpnr-generic")
|
||
(invoke "nextpnr-generic" "--uarch" "example" "--test")
|
||
(with-directory-excursion "tests/generic/flow/bel-pin"
|
||
(invoke "./run.sh"))
|
||
;; ecp5
|
||
(invoke "nextpnr-ecp5"
|
||
"--um5g-25k" "--package" "CABGA381" "--test")
|
||
(with-directory-excursion "tests/ecp5/regressions"
|
||
(invoke "make"
|
||
(string-append
|
||
"NPNR=" #$output "/bin/nextpnr-ecp5")))))))))
|
||
(native-inputs
|
||
(list icestorm
|
||
iverilog
|
||
googletest
|
||
gzip
|
||
prjbeyond-db
|
||
`(,prjpeppercorn "db")
|
||
prjtrellis
|
||
sanitizers-cmake
|
||
yosys))
|
||
(inputs
|
||
(list apycula
|
||
boost-1.83
|
||
corrosion
|
||
eigen
|
||
pybind11
|
||
python
|
||
qtbase-5
|
||
qtwayland-5
|
||
qtimgui))
|
||
(synopsis "Place-and-Route tool for FPGAs")
|
||
(description "Nextpnr is a portable FPGA place and route tool.")
|
||
(home-page "https://github.com/YosysHQ/nextpnr/")
|
||
(license license:isc))))
|
||
|
||
(define-public nextpnr-cli
|
||
(package
|
||
(inherit nextpnr)
|
||
(name "nextpnr-cli")
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments nextpnr)
|
||
((#:configure-flags flags '())
|
||
#~(delete! "-DBUILD_GUI=ON" #$flags))))
|
||
(inputs
|
||
(modify-inputs (package-inputs nextpnr)
|
||
(delete "qtbase-5" "qtwayland-5" "qtimgui")))
|
||
(synopsis
|
||
(string-append (package-synopsis nextpnr) " Cli only version."))))
|
||
|
||
(define-deprecated-package nextpnr-ice40
|
||
nextpnr)
|
||
|
||
(define-public ngspice
|
||
;; The ngspice executables (see libngpsice above.)
|
||
(package
|
||
(inherit libngspice)
|
||
(name "ngspice")
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments libngspice)
|
||
;; Tests require a X server running, so we keep them disabled
|
||
((#:configure-flags flags)
|
||
#~(cons* "--enable-rpath" "--with-x" "--with-readline=yes"
|
||
(delete "--with-ngshared" #$flags)))
|
||
((#:phases phases)
|
||
#~(modify-phases #$phases
|
||
(delete 'delete-scripts)))))
|
||
(native-inputs
|
||
(modify-inputs (package-native-inputs libngspice)
|
||
(append perl)))
|
||
(inputs (list libngspice readline libxaw libx11))))
|
||
|
||
(define-public nvc
|
||
(package
|
||
(name "nvc")
|
||
(version "1.18.2")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/nickg/nvc")
|
||
(commit (string-append "r" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0930bjaprvx9d0g8152xyzl2hxbx34gd36198ljvr55brrisfmvb"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list #:out-of-source? #t
|
||
#:configure-flags
|
||
#~(list "--enable-tcl"
|
||
"--enable-llvm"
|
||
"--enable-verilog"
|
||
"--enable-vital"
|
||
"--enable-server"
|
||
"--with-ncurses"
|
||
"--enable-parallel-make"
|
||
"--enable-vital"
|
||
(string-append "--with-bash-completion=" #$output
|
||
"/share/bash-completion/completions"))
|
||
#:phases #~(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-autogen
|
||
(lambda _
|
||
(substitute* "autogen.sh"
|
||
(("cd") "# cd"))))
|
||
;; This scripts is necessary for testing osvvm.
|
||
(add-after 'install 'keep-osvvm-tests
|
||
(lambda _
|
||
(mkdir-p (string-append #$output "/test"))
|
||
(install-file
|
||
"../source/test/test-osvvm.tcl"
|
||
(string-append #$output "/test")))))))
|
||
(native-inputs
|
||
(list automake
|
||
autoconf
|
||
check ; for the tests
|
||
flex
|
||
gettext-minimal
|
||
libtool
|
||
pkg-config
|
||
python-minimal
|
||
which))
|
||
(inputs
|
||
(list jansson
|
||
libffi
|
||
llvm
|
||
readline
|
||
tcl
|
||
`(,zstd "lib")))
|
||
(synopsis "VHDL compiler and simulator")
|
||
(description "This package provides a VHDL compiler and simulator.")
|
||
(home-page "https://www.nickg.me.uk/nvc/")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public openboardview
|
||
(package
|
||
(name "openboardview")
|
||
(version "9.95.2")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/OpenBoardView/OpenBoardView")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(modules '((ice-9 ftw)
|
||
(srfi srfi-26)
|
||
(guix build utils)))
|
||
(snippet
|
||
'(with-directory-excursion "src"
|
||
(define keep (list "." ".." "openboardview"))
|
||
(for-each (lambda (f)
|
||
(when (eq? 'directory (stat:type (lstat f)))
|
||
(delete-file-recursively f)))
|
||
(scandir "." (negate (cut member <> keep))))))
|
||
(patches
|
||
(search-patches "openboardview-use-system-imgui.patch"
|
||
"openboardview-use-system-mpc.patch"))
|
||
(sha256
|
||
(base32
|
||
"1gkl91rcbwiapllxw5chwgzjq2p076h9bpp3nbh13mb2v3wc6qwa"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no test suite
|
||
#:imported-modules `((guix build glib-or-gtk-build-system)
|
||
,@%cmake-build-system-modules)
|
||
#:modules '((guix build cmake-build-system)
|
||
(guix build utils)
|
||
((guix build glib-or-gtk-build-system) #:prefix gtk:))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'configure 'configure-glad
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "src/CMakeLists.txt"
|
||
(("add_subdirectory\\(glad\\)")
|
||
(string-append
|
||
;; Configure Glad to use static Khronos XML specifications
|
||
;; instead of attempting to fetch them from the Internet.
|
||
"option(GLAD_REPRODUCIBLE \"Reproducible build\" ON)\n"
|
||
;; Use the CMake files from our glad package.
|
||
"add_subdirectory("
|
||
(search-input-directory inputs "share/glad") ;source_dir
|
||
" src/glad)\n"))))) ;binary dir
|
||
(add-before 'configure 'dynamically-load-gtk-via-absolute-path
|
||
;; The GTK library is not linked thus not present in the RUNPATH of
|
||
;; the produced binary; the absolute path of the libraries must to
|
||
;; the dynamic loader otherwise they aren't found.
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "src/openboardview/unix.cpp"
|
||
(("libgtk-3.so")
|
||
(search-input-file inputs "lib/libgtk-3.so")))))
|
||
;; Add the two extra phases from `glib-or-gtk-build-system'.
|
||
(add-after 'install 'glib-or-gtk-compile-schemas
|
||
(assoc-ref gtk:%standard-phases 'glib-or-gtk-compile-schemas))
|
||
(add-after 'install 'glib-or-gtk-wrap
|
||
(assoc-ref gtk:%standard-phases 'glib-or-gtk-wrap)))))
|
||
(native-inputs
|
||
(list pkg-config
|
||
python-minimal-wrapper
|
||
glad-0.1
|
||
stb-image
|
||
utf8-h))
|
||
(inputs
|
||
(list fontconfig
|
||
gtk+
|
||
imgui
|
||
orangeduck-mpc
|
||
sdl2
|
||
sqlite
|
||
zlib))
|
||
(home-page "https://github.com/OpenBoardView/OpenBoardView")
|
||
(synopsis "Viewer for BoardView files")
|
||
(description "OpenBoardView is a viewer for BoardView files, which present
|
||
the details of a printed circuit board (PCB). It comes with features
|
||
such as:
|
||
@itemize
|
||
@item Dynamic part outline rendering, including complex connectors
|
||
@item Annotations, for leaving notes about parts, nets, pins or location
|
||
@item Configurable colour themes
|
||
@item Configurable DPI to facilitate usage on 4K monitors
|
||
@item Configurable for running on slower systems
|
||
@item Reads FZ (with key), BRD, BRD2, BDV and BV* formats.
|
||
@end itemize")
|
||
(license license:expat)))
|
||
|
||
(define-public pcb-rnd
|
||
(package
|
||
(name "pcb-rnd")
|
||
(version "3.1.7b")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://repo.hu/projects/pcb-rnd/"
|
||
"releases/pcb-rnd-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1djsa0w53l6nvhwv28rlhpva55ir9n3xdvjgnjj8fgvcmrqlzrsl"))))
|
||
(build-system glib-or-gtk-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-target "test"
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'configure
|
||
;; The configure script doesn't tolerate most of our configure
|
||
;; flags.
|
||
(lambda _
|
||
(setenv "CC" #$(cc-for-target))
|
||
(setenv "LIBRND_PREFIX" #$(this-package-input "librnd"))
|
||
(invoke "./configure" (string-append "--prefix=" #$output)))))))
|
||
(inputs (list librnd))
|
||
(home-page "http://repo.hu/projects/pcb-rnd/")
|
||
(synopsis "Modular layout editor")
|
||
(description "@code{Pcb-rnd} is a @acronym{Printed Circuit Board} layout
|
||
editor, part of the RiNgDove EDA suite.")
|
||
(license license:gpl2+)))
|
||
|
||
(define prjbeyond-db
|
||
;; Projects doesn’t include any tag or release.
|
||
(let ((commit "f49f66be674d9857c657930353b867ba94bcbdd7")
|
||
(revision "0"))
|
||
(package
|
||
(name "prjbeyond-db")
|
||
(version (git-version "0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/yosyshq-GmbH/prjbeyond-db/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1q5dfg0s21q8aw63fz28h0av958g0vcgi179yacgvs9f0cm6dx87"))))
|
||
(build-system copy-build-system)
|
||
(arguments
|
||
(list
|
||
#:install-plan
|
||
#~'(("NG-ULTRA" "share/prjbeyond-db/")
|
||
("devices.json" "share/prjbeyond-db/"))))
|
||
(home-page "https://github.com/yosyshq-GmbH/prjbeyond-db/")
|
||
(synopsis "Chip database for FPGA NG-Ultra architecture")
|
||
(description "This package includes data needed to create @code{nextpnr}
|
||
chip database for NG-Ultra architecture from NanoXplore.")
|
||
(license license:expat))))
|
||
|
||
(define-public prjpeppercorn
|
||
(package
|
||
(name "prjpeppercorn")
|
||
(version "1.8")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/prjpeppercorn/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1lfvd3r1pnyc1mxsiiqqvmp8r5pw1bshgjrsrsnd20grvlv6wwcn"))))
|
||
|
||
(outputs (list "out"
|
||
"db")) ;FPGA database files
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no test suite
|
||
#:configure-flags
|
||
#~(list "-DBUILD_SHARED=ON"
|
||
"-DSTATIC_BUILD=OFF")
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _
|
||
(chdir "libgm")))
|
||
(add-before 'chdir 'install-db-files
|
||
(lambda _
|
||
(let ((datadir
|
||
(string-append #$output:db "/share/prjpeppercorn")))
|
||
(mkdir-p datadir)
|
||
(copy-recursively "delay" (string-append datadir "/delay"))
|
||
(copy-recursively "gatemate"
|
||
(string-append datadir "/gatemate"))
|
||
(copy-recursively "tools"
|
||
(string-append datadir "/tools"))))))))
|
||
(inputs
|
||
(list boost-1.83))
|
||
(synopsis "GateMate FPGAs bitstream tools")
|
||
(description
|
||
"@code{Prjpeppercorn} includes programming tools for GateMate
|
||
architecture from Cologne Chip. It also provides data needed to produce a
|
||
@code{nextpnr} chip database Cologne Chip's GateMate architecture.")
|
||
(home-page "https://github.com/YosysHQ/prjpeppercorn/")
|
||
(license license:isc)))
|
||
|
||
(define-public prjtrellis
|
||
;; The last release is 2 years old; use the latest commit for now.
|
||
(let ((commit "92345b77edf775fe5668700dd9931e19db2d36b0")
|
||
(revision "1"))
|
||
(package
|
||
(name "prjtrellis")
|
||
(version (git-version "1.4" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/prjtrellis/")
|
||
(commit commit)
|
||
;; Pull the bitstream database for ECP5 devices; this is useful
|
||
;; only by prjtrellis: there is no need to package it separately.
|
||
(recursive? #t)))
|
||
(file-name (git-file-name name version))
|
||
(modules '((guix build utils)))
|
||
(snippet
|
||
;; Remove bundled source code for which Guix has packages.
|
||
'(with-directory-excursion "libtrellis/3rdparty"
|
||
(for-each delete-file-recursively
|
||
'("pybind11"))))
|
||
(sha256
|
||
(base32 "1yl5qw846jbnwzs8jv8bllz0zrzsg8amphvl9nskq5p5fz188q22"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no test suite
|
||
#:configure-flags
|
||
#~(list (string-append "-DPYBIND11_INCLUDE_DIR="
|
||
(search-input-directory %build-inputs
|
||
"include/pybind11")))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _
|
||
(chdir "libtrellis"))))))
|
||
(native-inputs (list python))
|
||
(inputs (list openocd boost-1.83 pybind11))
|
||
(synopsis "Placement and routing for ECP5 FPGAs")
|
||
(description
|
||
"Project Trellis is a Nextpnr backend compatible with ECP5 FPGAs.
|
||
The following features are currently available:
|
||
@itemize
|
||
@item logic slice functionality, including carries
|
||
@item distributed RAM inside logic slices
|
||
@item all internal interconnect
|
||
@item basic IO, including tristate
|
||
@item block RAM, using inference or manual instantiation
|
||
@item multipliers using manual instantiation
|
||
@item global networks and PLLs
|
||
@item transcievers (DCUs.)
|
||
@end itemize")
|
||
(home-page "https://github.com/YosysHQ/prjtrellis/")
|
||
(license license:expat))))
|
||
|
||
(define-public opensta
|
||
;; There are no releases, we use last commit.
|
||
(let ((commit "6e29fcb3f0d8a73af3a0913eb945b665a72e69cb")
|
||
(revision "1"))
|
||
(package
|
||
(name "opensta")
|
||
;; The version string is taken from the CMakeLists.txt.
|
||
(version (git-version "2.7.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxsw/OpenSTA/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1drhgp4s6q8j4fhsbxn6szmxl48xdlq0x5z4g6z72img453qvglx"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
;; Tests expect output sta binary inside source tree.
|
||
#:out-of-source? #f
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(invoke "../test/regression"))))
|
||
(add-before 'build 'create-build-dir
|
||
(lambda _
|
||
(mkdir-p "./build")
|
||
(chdir "./build"))))
|
||
#:configure-flags
|
||
#~(list
|
||
(string-append "-DCUDD_DIR=" #$(this-package-input "cudd"))
|
||
(string-append "-DBUILD_SHARED_LIBS=YES")
|
||
"-B./build")))
|
||
(native-inputs (list bison flex swig))
|
||
(inputs (list cudd eigen tcl tcllib zlib))
|
||
(synopsis "Parallax Static Timing Analyzer")
|
||
(description
|
||
"OpenSTA is a gate level static timing verifier. As a stand-alone
|
||
executable it can be used to verify the timing of a design using standard file
|
||
formats.")
|
||
(home-page "https://github.com/parallaxsw/OpenSTA/")
|
||
(license license:gpl3+))))
|
||
|
||
(define-public pulseview
|
||
(package
|
||
(name "pulseview")
|
||
(version "0.4.2")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"https://sigrok.org/download/source/pulseview/pulseview-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1jxbpz1h3m1mgrxw74rnihj8vawgqdpf6c33cqqbyd8v7rxgfhph"))
|
||
(patches (search-patches "pulseview-qt515-compat.patch"
|
||
"pulseview-glib-2.68.patch"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;format_time_minutes_test is failing
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'install 'remove-empty-doc-directory
|
||
(lambda _
|
||
(with-directory-excursion (string-append #$output "/share")
|
||
;; Use RMDIR to never risk silently deleting files.
|
||
(rmdir "doc/pulseview")
|
||
(rmdir "doc")))))))
|
||
(native-inputs
|
||
(list pkg-config qttools-5))
|
||
(inputs
|
||
(list boost-1.83
|
||
glib
|
||
glibmm
|
||
libsigrok
|
||
libsigrokdecode
|
||
qtbase-5
|
||
qtsvg-5))
|
||
(home-page "https://www.sigrok.org/wiki/PulseView")
|
||
(synopsis "Qt based logic analyzer, oscilloscope and MSO GUI for sigrok")
|
||
(description "PulseView is a Qt based logic analyzer, oscilloscope and MSO
|
||
GUI for sigrok.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public osvvm
|
||
(package
|
||
(name "osvvm")
|
||
(version "2025.06a")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/osvvm/OsvvmLibraries/")
|
||
(commit version)
|
||
;; OsvvmLibraries repository gathers all osvvm libraries as
|
||
;; submodules.
|
||
(recursive? #t)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1dq56h51ydfpffd00qz9qkcg6sddlqixiixls9vvxczfkp9l21ws"))))
|
||
(outputs
|
||
'("out" "osvvm"))
|
||
(properties
|
||
`((output-synopsis "out" "Instance this design library as work")
|
||
(output-synopsis "osvvm" "Instance this design library as osvvm")))
|
||
(build-system copy-build-system)
|
||
(arguments
|
||
(list
|
||
#:install-plan
|
||
#~'(;; Library work.
|
||
("osvvm" "share/osvvm/work/osvvm/"
|
||
#:include ("vhd" "pro" "md"))
|
||
("Common" "share/osvvm/work/Common/"
|
||
#:include ("vhd" "pro" "md"))
|
||
("Scripts" "share/osvvm/work/Scripts/"
|
||
#:include ("tcl" "md"))
|
||
("UART" "share/osvvm/work/UART"
|
||
#:include ("vhd" "pro" "md")
|
||
#:exclude-regexp ("GHDL_Debug"))
|
||
("AXI4" "share/osvvm/work/AXI4"
|
||
#:include ("vhd" "pro" "md"))
|
||
;; Library osvvm.
|
||
("osvvm" "share/osvvm/osvvm/osvvm/"
|
||
#:include ("vhd" "pro" "md") #:output "osvvm")
|
||
("Common" "share/osvvm/osvvm/Common/"
|
||
#:include ("vhd" "pro" "md") #:output "osvvm")
|
||
("Scripts" "share/osvvm/osvvm/Scripts/"
|
||
#:include ("tcl" "md") #:output "osvvm")
|
||
("UART" "share/osvvm/osvvm/UART"
|
||
#:include ("vhd" "pro" "md")
|
||
#:exclude-regexp ("GHDL_Debug")
|
||
#:output "osvvm")
|
||
("AXI4" "share/osvvm/osvvm/AXI4"
|
||
#:include ("vhd" "pro" "md")
|
||
#:output "osvvm"))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'install 'fix-scripts
|
||
(lambda _
|
||
;; Default conflicts with read-only /gnu/store.
|
||
(substitute* "osvvm/OsvvmVhdlSettings.pro"
|
||
(("\\[FindOsvvmSettingsDirectory\\]")
|
||
" \"\" "))))
|
||
(add-after 'fix-scripts 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(setenv "OSVVM_DIR" (getcwd))
|
||
(setenv "OSVVM_MUST_BUILD" (getcwd))
|
||
(invoke "tclsh"
|
||
(string-append #$(this-package-native-input "nvc")
|
||
"/test/test-osvvm.tcl"))))))))
|
||
(native-inputs
|
||
(list nvc tcl tcllib which))
|
||
(native-search-paths
|
||
(list (search-path-specification
|
||
(variable "FW_OSVVM")
|
||
(separator #f)
|
||
(files (list "share/osvvm")))))
|
||
(home-page "https://osvvm.github.io/Overview/Osvvm1About.html/")
|
||
(synopsis "The OSVVM VHDL Verification Libraries and Scripts")
|
||
(description "OSVVM is a verification methodology that defines a VHDL
|
||
verification framework, verification utility library, verification component
|
||
library, scripting API, and co-simulation capability for FPGA or ASIC
|
||
verification.")
|
||
(license license:asl2.0)))
|
||
|
||
(define-public open-logic
|
||
(package
|
||
(name "open-logic")
|
||
(version "4.2.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/open-logic/open-logic/")
|
||
(commit version)
|
||
;; Required by the en_cl_fix submodule.
|
||
(recursive? #t)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1792a6i9jq2yawipmk0nr01z092kx3kkav9v5sjf34khk3biav6q"))))
|
||
(outputs
|
||
'("out" "olo"))
|
||
(properties
|
||
`((output-synopsis "out" "Instance this design library as work")
|
||
(output-synopsis "olo" "Instance this design library as olo")))
|
||
(build-system copy-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'install 'check
|
||
(lambda* (#:key tests? inputs #:allow-other-keys)
|
||
(when tests?
|
||
(with-directory-excursion "3rdParty/en_cl_fix/sim"
|
||
(invoke "python3" "run.py" "--simulator" "nvc"
|
||
"--simulator-path"
|
||
(dirname (search-input-file inputs "bin/nvc"))))
|
||
(with-directory-excursion "sim"
|
||
(substitute* "run.py"
|
||
;; This is required to comply with current VUnit, see:
|
||
;; https://github.com/VUnit/vunit/issues/777
|
||
(("compile_builtins=False, ")
|
||
""))
|
||
(invoke "python3" "run.py" "--nvc" "-v"))))))
|
||
#:install-plan
|
||
#~'(;; Library work.
|
||
("src" "share/open-logic/work/src"
|
||
#:include ("vhd"))
|
||
("3rdParty" "share/open-logic/work/3rdParty"
|
||
#:include ("vhd"))
|
||
;; Library olo.
|
||
("src" "share/open-logic/olo/src"
|
||
#:include ("vhd") #:output "olo")
|
||
("3rdParty" "share/open-logic/olo/3rdParty"
|
||
#:include ("vhd") #:output "olo"))))
|
||
(native-inputs
|
||
(list nvc python-matplotlib python-minimal python-vunit))
|
||
(native-search-paths
|
||
(list (search-path-specification
|
||
(variable "FW_OPEN_LOGIC")
|
||
(separator #f)
|
||
(files (list "share/open-logic")))))
|
||
(home-page "https://github.com/open-logic/open-logic/")
|
||
(synopsis "Open library of VHDL standard components")
|
||
(description "Open Logic implements commonly used design units in a
|
||
reusable and vendor/tool-independent way. It is written following the VHDL
|
||
2008 standard, but can also be used from System Verilog.")
|
||
(license (list license:lgpl2.1
|
||
license:expat)))) ;en_cl_fix uses Expat license
|
||
|
||
;;; Required by python-vunit.
|
||
(define osvvm-2023.04
|
||
(package
|
||
(inherit osvvm)
|
||
(name "osvvm")
|
||
(version "2023.04")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/osvvm/OsvvmLibraries/")
|
||
(commit version)
|
||
;; OsvvmLibraries repository gathers all osvvm libraries as
|
||
;; submodules.
|
||
(recursive? #t)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1kn18ibvm7bzdyw2d914284wriravyh5qwfarj06pb052x1yblyx"))))
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments osvvm)
|
||
((#:tests? _ #t)
|
||
#f)
|
||
((#:phases phases #~%standard-phases)
|
||
#~(modify-phases #$phases
|
||
(delete 'fix-scripts)))))))
|
||
|
||
(define-public pyspice
|
||
(package
|
||
(name "pyspice")
|
||
(version "1.5")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/PySpice-org/PySpice")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "02z35gyx27npqg7g0m1gdy8wid93iy335pc72j90ycx998xf2r5k"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-flags
|
||
#~(list "unit-test")
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'build 'patch-libngspice
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "PySpice/Spice/NgSpice/Shared.py"
|
||
((" path = .*" _)
|
||
(format #f " path = '~a/lib/libngspice.so'"
|
||
(search-input-file inputs "lib/libngspice.so")))))))))
|
||
(native-inputs
|
||
(list python-pytest
|
||
python-setuptools))
|
||
(inputs
|
||
(list libngspice
|
||
python-invoke
|
||
python-matplotlib
|
||
python-ply
|
||
python-pyyaml
|
||
python-requests
|
||
python-scipy))
|
||
(home-page "https://pyspice.fabrice-salvaire.fr/")
|
||
(synopsis "Circuit simulator Python interface")
|
||
(description "PySpice implements a Ngspice binding and provides an
|
||
oriented object API on top of SPICE, the simulation output is converted to
|
||
Numpy arrays for convenience.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public python-amaranth
|
||
(package
|
||
(name "python-amaranth")
|
||
(version "0.5.8")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/amaranth-lang/amaranth/")
|
||
(commit (string-append "v" version))))
|
||
(sha256
|
||
(base32 "06sgc76z9r4ngphpr5slfrjqy4nr11qdx0fj1gwmzksi0b4j18w6"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'build 'set-version
|
||
(lambda _
|
||
(setenv "PDM_BUILD_SCM_VERSION" #$version))))))
|
||
(native-inputs
|
||
(list python-pdm-backend
|
||
python-pytest-cov
|
||
python-setuptools
|
||
python-setuptools-scm
|
||
sby
|
||
yices
|
||
yosys))
|
||
(propagated-inputs
|
||
(list python-jinja2 python-jschon python-pyvcd))
|
||
(home-page "https://amaranth-lang.org/docs/amaranth/latest/")
|
||
(synopsis "Amaranth hardware definition language")
|
||
(description "The Amaranth project provides an open-source toolchain for
|
||
developing hardware based on synchronous digital logic using the Python
|
||
programming language, as well as evaluation board definitions and a System on
|
||
Chip toolkit.")
|
||
(license license:bsd-3)))
|
||
|
||
(define-public python-klayout
|
||
(package
|
||
(name "python-klayout")
|
||
(version "0.30.5")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/klayout/klayout")
|
||
(commit (string-append "v" version))))
|
||
(sha256
|
||
(base32 "1ixl8wzpiaw6frb28x9y9jy3fvhjclmn4xl77i72rs37rf4i2a2s"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
'(#:tests? #f))
|
||
(native-inputs (list curl expat libpng python-setuptools python-tomli))
|
||
(home-page "https://klayout.de")
|
||
(synopsis "Mask layout library for Python")
|
||
(description
|
||
"python-klayout is a standalone Python API of KLayout.
|
||
This library supports OASIS and GDS2 file formats,
|
||
editing of mask layouts, and verification such as
|
||
@acronym{DRC, Design rule checking} and @acronym{LVS, Layout Versus Schematic}.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public python-liberty-parser
|
||
(package
|
||
(name "python-liberty-parser")
|
||
(version "0.0.29")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://codeberg.org/tok/liberty-parser")
|
||
(commit version)))
|
||
(sha256
|
||
(base32 "0x3y1rp0hwcbncgjnkpdjn6gf56qxxp39y2h9p1xm63g3hhikwdc"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system pyproject-build-system)
|
||
(propagated-inputs (list python-lark python-numpy python-sympy))
|
||
(native-inputs (list python-pytest python-setuptools))
|
||
(home-page "https://codeberg.org/tok/liberty-parser")
|
||
(synopsis "Parser for Liberty timing libraries")
|
||
(description
|
||
"The @code{liberty-parser} Python library provides a parser
|
||
and data structures for the Liberty format,
|
||
a standard file format used in @acronym{EDA, Electronic Design Automation}
|
||
for example for timing information of digital circuits.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public python-hdlconvertorast
|
||
(package
|
||
(name "python-hdlconvertorast")
|
||
(version "1.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Nic30/hdlConvertorAst")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1zv067imbdihyqwy7f0j80x9a2857vifhky60vc91dffjl1zjg1i"))))
|
||
(build-system pyproject-build-system)
|
||
(native-inputs
|
||
(list python-pytest
|
||
python-setuptools))
|
||
(home-page "https://github.com/Nic30/hdlConvertorAst")
|
||
(synopsis "@acronym{AST, Abstract Syntax Tree} library for VHDL and
|
||
SystemVerilog")
|
||
(description
|
||
"This package provides a library of @acronym{AST, Abstract Syntax Tree} nodes
|
||
for @acronym{VHDL, Very high speed integrated circuit Hardware Description Language},
|
||
SystemVerilog, and SystemC, with conversion between languages and to JSON.")
|
||
(license license:expat)))
|
||
|
||
;; Yosys source pinned to hdlConvertor v2.3 submodule commit for parsing tests.
|
||
(define yosys-src-for-hdlconvertor-tests
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/yosys")
|
||
(commit "a299e606f864942c7edf90c4ad3998f4f4a346cf")))
|
||
(file-name "yosys-src-for-hdlconvertor-tests")
|
||
(sha256
|
||
(base32 "106bzlljn6843740r8rbaqf5ivkyfcgp25dgzds97j48ypmv6fih"))))
|
||
|
||
(define-public python-hdlconvertor
|
||
(package
|
||
(name "python-hdlconvertor")
|
||
(version "2.3")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Nic30/hdlConvertor")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0xa7wm324dwp4wks8l9njpd2bz4gn7dfygdc3a78lxy1prvzbyyz"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-flags
|
||
;; Ignore tests inside yosys source tree (they're unrelated yosys tests).
|
||
#~(list "--ignore=tests/yosys")
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'build 'setup-antlr
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; Build classpath from input jars.
|
||
(let* ((st4 (search-input-file inputs
|
||
"share/java/java-stringtemplate-4.0.8.jar"))
|
||
(antlr4 (search-input-file inputs
|
||
"share/java/antlr4.jar"))
|
||
(antlr4-rt (search-input-file inputs
|
||
"share/java/java-antlr4-runtime.jar"))
|
||
(antlr3 (search-input-file inputs
|
||
"share/java/antlr3-3.5.2.jar"))
|
||
(treelayout (search-input-file inputs
|
||
"share/java/java-treelayout-1.0.3.jar"))
|
||
(classpath (string-join (list st4 antlr4 antlr4-rt
|
||
antlr3 treelayout)
|
||
":"))
|
||
(antlr4cpp-include (search-input-directory
|
||
inputs "include/antlr4-runtime"))
|
||
(antlr4cpp-lib (search-input-file
|
||
inputs "lib/libantlr4-runtime.so"))
|
||
(python-include (search-input-directory
|
||
inputs "include/python3.11")))
|
||
;; Patch CMake to use our paths directly.
|
||
(substitute* "src/CMake_antlr4.txt"
|
||
(("set\\(ANTLR_CLASSPATH \"\"\\)")
|
||
(string-append "set(ANTLR_CLASSPATH \"" classpath "\")"))
|
||
;; Skip the jar search loop.
|
||
(("FOREACH\\(antlr_jar \\$\\{ANTLR_JARS\\}\\)")
|
||
"FOREACH(antlr_jar )")
|
||
;; Set C++ runtime paths before find commands.
|
||
(("# search for antlr4 include dir and library")
|
||
(string-append
|
||
"# search for antlr4 include dir and library\n"
|
||
"set(ANTLR4CPP_INCLUDE_DIRS \"" antlr4cpp-include "\")\n"
|
||
"set(ANTLR4CPP_LIBRARIES \"" antlr4cpp-lib "\")\n")))
|
||
;; hdlConvertor/CMakeLists.txt is a sibling subdirectory to src/
|
||
;; so variables set in src/CMake_antlr4.txt aren't visible here;
|
||
;; inject both ANTLR and Python include paths before
|
||
;; include_directories.
|
||
(substitute* "hdlConvertor/CMakeLists.txt"
|
||
(("include_directories\\(")
|
||
(string-append
|
||
"set(ANTLR4CPP_INCLUDE_DIRS \"" antlr4cpp-include "\")\n"
|
||
"set(PYTHON_INCLUDE_DIRS \"" python-include "\")\n"
|
||
"include_directories(")))
|
||
;; ANTLR4 4.10+ changed from .as<T>() to std::any_cast<T>().
|
||
;; Upstream fixed this in commit 8b07c10 using preprocessor
|
||
;; conditionals to support both old and new APIs, but that
|
||
;; commit also includes unrelated changes (Block statement
|
||
;; support). We apply a simplified fix for ANTLR 4.10+
|
||
;; only.
|
||
(substitute* "src/verilogPreproc/verilogPreproc.cpp"
|
||
(("visitMacro_call\\(mc, false\\)\\.as<string>\\(\\)")
|
||
"std::any_cast<string>(visitMacro_call(mc, false))")
|
||
(("params = visitDefine_args\\(da\\);")
|
||
(string-append "params = std::any_cast<"
|
||
"vector<MacroDefVerilog::param_info_t>*"
|
||
">(visitDefine_args(da));"))))))
|
||
(add-before 'check 'prepare-tests
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; Symlink yosys source for yosys testsuite.
|
||
(delete-file-recursively "tests/yosys")
|
||
(symlink (assoc-ref inputs "yosys-src-for-hdlconvertor-tests")
|
||
"tests/yosys")
|
||
;; Remove source hdlConvertor/ which shadows the installed package.
|
||
(delete-file-recursively "hdlConvertor")
|
||
;; Replace tests/__init__.py which imports all.py that requires
|
||
;; git submodules; also delete tests requiring external tools.
|
||
(call-with-output-file "tests/__init__.py"
|
||
(lambda (port)
|
||
(display "" port)))
|
||
(delete-file "tests/all.py")
|
||
(for-each delete-file
|
||
(find-files "tests" "test_ghdl"))
|
||
(for-each delete-file
|
||
(find-files "tests" "test_icarus"))
|
||
(for-each delete-file
|
||
(find-files "tests" "test_verilator"))
|
||
(for-each delete-file
|
||
(find-files "tests" "test_uvvm"))
|
||
(for-each delete-file
|
||
(find-files "tests" "test_vunit"))
|
||
(for-each delete-file
|
||
(find-files "tests" "test_notebook"))
|
||
(for-each delete-file
|
||
(find-files "tests" "test_basic_hdl_sim")))))))
|
||
(native-inputs
|
||
(list antlr4 ; parser generator tool (antlr4.jar)
|
||
antlr3 ; antlr3-runtime.jar required by hdlConvertor build
|
||
java-antlr4-runtime ; antlr4-runtime.jar required by hdlConvertor build
|
||
java-stringtemplate ; stringtemplate4.jar required by hdlConvertor build
|
||
java-treelayout ; treelayout.jar required by hdlConvertor build
|
||
(list openjdk "jdk") ; Java runtime to execute ANTLR4
|
||
;;; Python build dependencies:
|
||
python-cython ; compiles .pyx extension files to C++
|
||
python-scikit-build ; CMake-based Python build system
|
||
python-setuptools
|
||
python-wrapper ; Python interpreter for build scripts
|
||
python ; Python headers for C extension building
|
||
python-pytest
|
||
;; Yosys source for parsing tests.
|
||
yosys-src-for-hdlconvertor-tests))
|
||
(inputs
|
||
(list java-antlr4-runtime-cpp))
|
||
(propagated-inputs
|
||
(list python-hdlconvertorast))
|
||
(home-page "https://github.com/Nic30/hdlConvertor")
|
||
(synopsis "VHDL and System Verilog parser")
|
||
(description "This package provides a @acronym{VHDL, Very high speed
|
||
integrated circuit Hardware Description Language} and SystemVerilog
|
||
parser library for Python.")
|
||
(license license:expat)))
|
||
|
||
(define-public python-pyucis
|
||
(package
|
||
(name "python-pyucis")
|
||
(version "0.1.5")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/fvutils/pyucis/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "19bxmhqkdmhbibkbzcjqvzvcni1kzg28nqz9vh6zj73hl26lf2ij"))))
|
||
(build-system pyproject-build-system)
|
||
(native-inputs
|
||
(list python-pytest
|
||
python-setuptools))
|
||
(propagated-inputs
|
||
(list python-jsonschema-objects
|
||
python-lxml
|
||
python-pyyaml))
|
||
(home-page "https://fvutils.github.io/pyucis//")
|
||
(synopsis "Python interface to UCIS data")
|
||
(description
|
||
"The code{PyUCIS} library provides two APIs for creating and accessing
|
||
coverage data via the @acronym{UCIS, Unified Coverage Interoperability
|
||
Standard} data mode.")
|
||
(license license:asl2.0)))
|
||
|
||
(define-public python-pyvcd
|
||
(package
|
||
(name "python-pyvcd")
|
||
(version "0.4.1")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "pyvcd" version))
|
||
(sha256
|
||
(base32 "15nnydvr1a4ykh8cagi484sfgvdg0dnjxaw6c0ivhjbrbblpaqnw"))))
|
||
(build-system pyproject-build-system)
|
||
(native-inputs
|
||
(list python-pytest-cov
|
||
python-setuptools
|
||
python-setuptools-scm))
|
||
(home-page "http://pyvcd.readthedocs.io/")
|
||
(synopsis "Library to manipulate digital wave files")
|
||
(description
|
||
"The code{PyVcd} Python library writes @acronym{VCD, Value Change Dump}
|
||
files as specified in IEEE 1364-2005.")
|
||
(license license:expat)))
|
||
|
||
(define-public python-cocotb
|
||
(package
|
||
(name "python-cocotb")
|
||
(version "2.0.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/cocotb/cocotb")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0lyv0q1zqldrzfpyy3k1cxdnsw05gv73x5iid20yagvgb6l0sx1d"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-flags
|
||
#~(list "-k" "not test_toplevel_library") ;requires questasim simulator
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'check 'run-examples
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(invoke "make" "-k" "-C" "examples")))))))
|
||
(native-inputs
|
||
(list iverilog
|
||
nvc
|
||
python-pytest
|
||
python-setuptools))
|
||
(propagated-inputs
|
||
(list python-find-libpython))
|
||
(home-page "https://github.com/cocotb/cocotb")
|
||
(synopsis "Library for writing HDL test benches in Python")
|
||
(description
|
||
"Coroutine based cosimulation test bench environment for verifying VHDL
|
||
and Verilog RTL using Python.")
|
||
(license license:bsd-3)))
|
||
|
||
(define-public python-cocotb-bus
|
||
(package
|
||
(name "python-cocotb-bus")
|
||
;; Version from src/cocotb_bus/_version.py
|
||
(version "0.3.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/cocotb/cocotb-bus/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0aqk78w5gg23rwf93gidw8yazmidwgmahqcmm3x0qx380mbdxjl4"))))
|
||
(build-system pyproject-build-system)
|
||
;; TODO: Build documentation from <docs>.
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(invoke "make" "-k" "-C" "tests")
|
||
(invoke "make" "-k" "-C" "examples")))))))
|
||
(native-inputs
|
||
(list iverilog
|
||
nvc
|
||
python-pytest
|
||
python-setuptools))
|
||
(propagated-inputs
|
||
(list python-cocotb
|
||
python-scapy))
|
||
(home-page "https://github.com/cocotb/cocotb-bus/")
|
||
(synopsis "Cocotb reusable tools")
|
||
(description "@code{Cocotb-bus} provides a set of utilities, test benches
|
||
and reusable bus interfaces to be used with @code{cocotb}.")
|
||
(license license:bsd-3)))
|
||
|
||
(define-public python-cocotb-test
|
||
(package
|
||
(name "python-cocotb-test")
|
||
(version "0.2.6")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "cocotb_test" version))
|
||
(sha256
|
||
(base32 "14h62sr2prxd0iy1axq68b9zdfggnms230xgrimywphlr941jrm4"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments (list #:tests? #f)) ;requires examples folder from python-cocotb
|
||
(propagated-inputs
|
||
(list python-cocotb))
|
||
(native-inputs
|
||
(list python-pytest python-setuptools))
|
||
(home-page "https://pypi.org/project/cocotb-test/")
|
||
(synopsis
|
||
"Standard python unit testing cababilities for @code{python-cocotb}")
|
||
(description "This package provides the look and feel of Python unit
|
||
testing to @code{cocotb}, removing the need of manipulating Makefiles.")
|
||
(license license:bsd-3)))
|
||
|
||
(define-public python-cocotbext-axi
|
||
(package
|
||
(name "python-cocotbext-axi")
|
||
(version "0.1.26")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/alexforencich/cocotbext-axi/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0xgfvvpff9r7g7fiswv1m0dklyw6c8v2r3qpd6qq3rzvnvrhsrin"))))
|
||
(build-system pyproject-build-system)
|
||
(propagated-inputs
|
||
(list python-cocotb python-cocotb-bus))
|
||
(native-inputs
|
||
(list iverilog python-cocotb-test python-pytest python-setuptools))
|
||
(home-page "https://github.com/alexforencich/cocotbext-axi/")
|
||
(synopsis
|
||
"Extra @acronym{AXI, Advanced Extensible Interface} modules for cocotb")
|
||
(description "This package provides an extension to @code{cocotb} in the
|
||
form of AXI, AXI lite, and AXI stream modules.")
|
||
(license license:expat)))
|
||
|
||
(define-public python-edalize
|
||
(package
|
||
(name "python-edalize")
|
||
(version "0.6.3")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/olofk/edalize/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1ml6b17jp4vwjaw16v0agajzksig92q5qmk2psm51ck4q076lm3m"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-flags
|
||
#~(list "-k" (string-join
|
||
;; XXX: Tests failing with assertion not equal, find out
|
||
;; why.
|
||
(list "not test_gatemate"
|
||
"test_vcs_tool_options"
|
||
"test_vcs_no_tool_options"
|
||
"test_vcs_minimal"
|
||
"test_xcelium")
|
||
" and not "))))
|
||
(native-inputs
|
||
(list python-pytest python-setuptools))
|
||
(propagated-inputs
|
||
(list python-jinja2))
|
||
(home-page "https://github.com/olofk/edalize/")
|
||
(synopsis "Python Library for interacting with EDA tools")
|
||
(description
|
||
"This package implements a functionality to create project files for
|
||
supported tools and run them in batch or GUI mode. All EDA tools such as
|
||
Icarus, Yosys, ModelSim, Vivado, Verilator, GHDL, Quartus etc get input HDL
|
||
files (Verilog and VHDL) and some tool-specific files (constraint files,memory
|
||
initialization files, IP description files etc). Together with the files,
|
||
perhaps a couple of Verilog `defines, some top-level parameters/generics or
|
||
some tool-specific options are set.")
|
||
(license license:bsd-2)))
|
||
|
||
(define-public python-hdlmake
|
||
(package
|
||
(name "python-hdlmake")
|
||
(version "4.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://gitlab.com/ohwr/project/hdl-make/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1mbsm1j058j3wjp0hypd7a9d1xh3xsmy9p3jl9xcpnzjmncm34xr"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases #~(modify-phases %standard-phases
|
||
(add-before 'check 'chdir
|
||
(lambda _
|
||
(chdir "testsuite")))
|
||
(add-before 'chdir 'build-info
|
||
(lambda _
|
||
(invoke "make" "-C" "docs" "info")
|
||
(install-file
|
||
"docs/_build/texinfo/hdlmake.info"
|
||
(string-append #$output "/share/info"))
|
||
(copy-recursively
|
||
"docs/_build/texinfo/hdlmake-figures"
|
||
(string-append
|
||
#$output "/share/info/hdlmake-figures")))))
|
||
#:test-flags #~(list "test_all.py")))
|
||
(native-inputs
|
||
(list python-pytest-cov
|
||
python-setuptools
|
||
python-sphinx
|
||
texinfo))
|
||
(propagated-inputs (list python-networkx))
|
||
(home-page "https://ohwr.gitlab.io/project/hdl-make/")
|
||
(synopsis "Generate multi-purpose makefiles for HDL projects")
|
||
(description
|
||
"Hdlmake helps manage and share @acronym{HDL, hardware description
|
||
language} code by automatically finding file dependencies, writing synthesis
|
||
and simulation Makefiles.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public python-migen
|
||
;; XXX: The latest version tag (0.9.2) was placed in 2019, there are latest
|
||
;; changes supporting Python 3.11 on master branch, see
|
||
;; <https://github.com/m-labs/migen/issues/259>.
|
||
(let ((commit "6e3a9e150fb006dabc4b55043d3af18dbfecd7e8")
|
||
(revision "1"))
|
||
(package
|
||
(name "python-migen")
|
||
(version (git-version "0.9.2" revision commit))
|
||
(source
|
||
(origin
|
||
;; Tests fail in the PyPI tarball due to missing files.
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/m-labs/migen")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1hibhjnj5b3ka5y4nnqx9zp5w730gfqfa3r5injpa14i4cz6bj1n"))))
|
||
(build-system pyproject-build-system)
|
||
(native-inputs
|
||
(list python-pytest
|
||
python-setuptools))
|
||
(propagated-inputs
|
||
(list python-colorama))
|
||
(home-page "https://m-labs.hk/gateware/migen/")
|
||
(synopsis "Python toolbox for building complex digital hardware")
|
||
(description
|
||
"Migen FHDL is a Python library that replaces the event-driven paradigm
|
||
of Verilog and VHDL with the notions of combinatorial and synchronous
|
||
statements, has arithmetic rules that make integers always behave like
|
||
mathematical integers, and allows the design's logic to be constructed by a
|
||
Python program.")
|
||
(license license:bsd-2))))
|
||
|
||
(define-public python-myhdl
|
||
(let ((commit "7dc29c242cd33cb835c336a81ffc3a461eaa92f4")
|
||
(revision "0"))
|
||
(package
|
||
(name "python-myhdl")
|
||
(version (git-version "0.11" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/myhdl/myhdl/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1b91yvr0ksrw3bx61i7914caf8pyks9c242kwmj4l12zjd06mp56"))))
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'check
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(invoke "make" "iverilog" "core")))))))
|
||
(build-system pyproject-build-system)
|
||
(native-inputs
|
||
(list iverilog python-setuptools python-pytest))
|
||
(home-page "http://www.myhdl.org/")
|
||
(synopsis "Python as a Hardware Description Language")
|
||
(description "This package provides a library to turn Python into
|
||
a hardware description and verification language.")
|
||
(license license:lgpl2.1+))))
|
||
|
||
(define-public python-pydigitalwavetools
|
||
(package
|
||
(name "python-pydigitalwavetools")
|
||
(version "1.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Nic30/pyDigitalWaveTools/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0fll8anz3i1j1nngsij1psp8766kvdfpls655lbxn2ykypv3633m"))))
|
||
(build-system pyproject-build-system)
|
||
(native-inputs
|
||
(list python-pytest
|
||
python-setuptools
|
||
python-wheel))
|
||
(home-page "https://github.com/Nic30/pyDigitalWaveTools/")
|
||
(synopsis "Library to manipulate digital wave files")
|
||
(description
|
||
"Pydigitalwavetools is a Python library to parse, write and format digital
|
||
wave files in @acronym{VCD, Value Change Dump} format, a standardized ASCII
|
||
format used to store simulation data from Verilog and other hardware description
|
||
languages.")
|
||
(license license:expat)))
|
||
|
||
(define-public python-surf
|
||
(package
|
||
(name "python-surf")
|
||
(version "2.57.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/slaclab/surf/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0ncb34mdxaw0m6cnk7kvl7mkhwa6hpcxkc2lgarwcmmnfydr8kg3"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'remove-deps
|
||
(lambda _
|
||
(invoke "git" "init") ;expects a git repo
|
||
;; fix version
|
||
(substitute* "setup.py"
|
||
(("rawVer .*")
|
||
(string-append "rawVer = \"v"
|
||
#$version "\""))))))))
|
||
(native-inputs
|
||
(list python-setuptools python-gitpython git-minimal/pinned))
|
||
(home-page "https://slaclab.github.io/surf/")
|
||
(synopsis "SLAC Ultimate RTL Framework")
|
||
(description
|
||
"Surf is a python library with support functions for VHDL gateware
|
||
digital design. It provides implementation modules compatible with FPGA and ASIC
|
||
design.")
|
||
(license (license:non-copyleft "file://LICENSE.txt"
|
||
"See LICENSE.txt in the distribution."))))
|
||
|
||
(define-public python-vsg
|
||
(package
|
||
(name "python-vsg")
|
||
(version "3.35.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/jeremiah-c-leary/vhdl-style-guide/")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "01hwida51bdyzv6wy71nby9cllf6nbvin5a0lhl4dizvnp3h4mb4"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-flags
|
||
;; Tests are expensive and may introduce race condition on systems with
|
||
;; high (more than 16) threads count; limit parallel jobs to 8x.
|
||
#~(list
|
||
"--numprocesses" (number->string (min 8 (parallel-job-count))))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'pathch-pytest-options
|
||
(lambda _
|
||
(substitute* "pyproject.toml"
|
||
((".*--cov=.*") "")
|
||
((".*--self-contained-html.*") "")
|
||
((".*-n.*auto.*") "")))))))
|
||
(native-inputs
|
||
(list python-pytest-cov
|
||
python-pytest-html
|
||
python-pytest-xdist
|
||
python-setuptools))
|
||
(propagated-inputs
|
||
(list python-pyyaml))
|
||
(home-page "https://github.com/jeremiah-c-leary/vhdl-style-guide/")
|
||
(synopsis "Coding style enforcement for VHDL")
|
||
(description
|
||
"VSG lets you define a VHDL coding style and provides a command-line tool
|
||
to enforce it.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public python-vunit
|
||
(package
|
||
(name "python-vunit")
|
||
(version "5.0.0-dev.7") ;v4.7.0 dates back from 2 years ago.
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/VUnit/vunit")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "12xkjc98913zyb271k9qfl86wdj2fsbcjl0lv1lb4492j5iqfcgj"))))
|
||
(build-system pyproject-build-system)
|
||
(arguments
|
||
(list
|
||
#:modules '((guix build pyproject-build-system)
|
||
(guix build utils)
|
||
(ice-9 ftw)
|
||
(srfi srfi-26))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-ghdl-jit
|
||
(lambda _
|
||
;; TODO: Remove when fixed upstream (see:
|
||
;; https://github.com/VUnit/vunit/pull/1121).
|
||
(substitute* "vunit/sim_if/ghdl.py"
|
||
((": \"llvm\",")
|
||
(string-append
|
||
": \"llvm\",\n\tr\"static elaboration, LLVM JIT code "
|
||
"generator\": \"llvm-jit\",")))))
|
||
(add-after 'install 'unbundle
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((site-packages
|
||
(string-append (site-packages inputs outputs)
|
||
"/vunit/vhdl/")))
|
||
(mkdir-p (string-append site-packages "JSON-for-VHDL"))
|
||
(symlink
|
||
(search-input-directory inputs "share/json-for-vhdl")
|
||
(string-append site-packages "JSON-for-VHDL/src"))
|
||
(symlink
|
||
(search-input-directory inputs "share/osvvm/work/osvvm")
|
||
(string-append site-packages "osvvm")))))
|
||
(add-after 'check 'run-examples
|
||
;; Run examples as an extra check.
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
(with-directory-excursion "examples/vhdl"
|
||
(for-each
|
||
(lambda (dir)
|
||
(invoke "python3" (string-append dir "/run.py"))
|
||
(delete-file-recursively "vunit_out"))
|
||
(scandir "."
|
||
(negate
|
||
(cut member <>
|
||
'("coverage" ;unsupported feature in nvc
|
||
"data_types" ;no run.py
|
||
"docker_runall.sh" ;not a test
|
||
"vivado" ;requires external tool
|
||
;; Fails with nvc
|
||
"array_axis_vcs"
|
||
"osvvm_log_integration"
|
||
"run"
|
||
"third_party_integration"
|
||
"user_guide"
|
||
"." ".."))))))))))
|
||
#:test-flags
|
||
;; Skip lint tests which require python-pycodestyle, python-pylint and
|
||
;; python-mypy to reduce closoure size; some lint test fails, see
|
||
;; <https://github.com/VUnit/vunit/issues/1111>.
|
||
;;
|
||
;; XXX: Acceptance tests take 10+ minutes to complete, hang on
|
||
;; "test_external_run_scripts.py" and fail eventually, consider to
|
||
;; improve them; ignore for now.
|
||
#~(list "tests/unit")))
|
||
(native-inputs
|
||
(list nvc
|
||
python-pytest
|
||
python-setuptools
|
||
python-setuptools-scm))
|
||
(inputs
|
||
(list json-for-vhdl-for-vunit osvvm-2023.04))
|
||
(propagated-inputs
|
||
(list python-colorama))
|
||
(home-page "https://vunit.github.io")
|
||
(synopsis "Unit testing framework for VHDL/SystemVerilog")
|
||
(description
|
||
"VUnit features the functionality needed to realize continuous and
|
||
automated testing of HDL code.")
|
||
;; According to 'LICENSE.rst', VUnit itself is under MPL but two
|
||
;; subdirectories are under ASL.
|
||
(license (list license:mpl2.0 license:asl2.0))))
|
||
|
||
(define-public qucsrflayout-cli
|
||
(package
|
||
(name "qucsrflayout-cli")
|
||
(version "2.1.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/thomaslepoix/Qucs-RFlayout/")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1nhqhb5x5giv8ck9y9aib6vh6kvnfrycsbdzh6fnzng046aq67aq"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no tests
|
||
#:configure-flags
|
||
#~(list "-DQRFL_MINIMAL=ON"
|
||
"-DCMAKE_BUILD_TYPE=Release")))
|
||
(home-page "https://github.com/thomaslepoix/Qucs-RFlayout/")
|
||
(synopsis "Produce layouts from Qucs RF schematics")
|
||
(description
|
||
"@code{qucsrflayout} command exports @acronym{RF, Radio Frequency}
|
||
schematics to KiCad layouts and OpenEMS scripts.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public qucsator-rf
|
||
(package
|
||
(name "qucsator-rf")
|
||
(version "1.0.7") ;required by qucs-s, keep in sync
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/ra3xdh/qucsator_rf/")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1qyih418r0jcrpk1ja4p7v9v5iqvri8iszg7s3vaf1d2agwblzb4"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no tests
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'install 'run-tests
|
||
(lambda* (#:key tests? #:allow-other-keys)
|
||
(when tests?
|
||
;; Qucs-test is a collection of python scripts and data test
|
||
;; cases. Its purpose is to test Qucs (GUI) and Qucsator;
|
||
;; tests are under `testsuite` directory.
|
||
(copy-recursively
|
||
#$(origin
|
||
(method git-fetch)
|
||
(uri
|
||
;; Using latest revision; refer to
|
||
;; .github/workflows/cmake.yml to keep up to date.
|
||
(git-reference
|
||
(url "https://github.com/ra3xdh/qucs-test/")
|
||
(commit "ce69e05ceecab910175e6ea36b6e021a6d279947")))
|
||
(sha256
|
||
(base32
|
||
(string-append "1r3hx43wvd0s11mzsvj1chylzv"
|
||
"0lk9qhaw7205j9x316ly03bl08"))))
|
||
"qucs-test")
|
||
(with-directory-excursion "qucs-test"
|
||
(invoke "python3" "run.py" "--qucsator"
|
||
(format #f "--prefix=~a/bin" #$output)
|
||
"--exclude=skip.txt"))))))
|
||
#:configure-flags
|
||
#~(list (format #f "-DBISON_DIR=~a/bin"
|
||
#$(this-package-native-input "bison"))
|
||
(format #f "-DADMSXML_DIR=~a/bin"
|
||
#$(this-package-native-input "adms")))))
|
||
(native-inputs
|
||
(list adms bison dos2unix flex gperf python python-looseversion
|
||
python-numpy python-matplotlib))
|
||
(synopsis "RF and microwave circuits simulator")
|
||
(description
|
||
"@code{Qucsator-rf} is a command line driven circuit simulator targeted
|
||
for RF and microwave circuits. It takes a network list in a certain format as
|
||
input and outputs an XML dataset.")
|
||
(home-page "https://ra3xdh.github.io//")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public qucs-s
|
||
(package
|
||
(name "qucs-s")
|
||
(version "25.2.0") ;update qucsator-rf accordingly
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/ra3xdh/qucs_s")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0328irynm8vy4xjdip5286fd8nag1zdp0p6rcbhdhp4fca6wp5ak"))))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
(list
|
||
#:qtbase qtbase ;for Qt 6
|
||
#:tests? #f ;no tests
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'adjust-default-settings
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "qucs/settings.cpp"
|
||
(("\"Xyce\"")
|
||
(format #f "~s" (search-input-file inputs "bin/Xyce")))
|
||
(("\"qucsrflayout\"")
|
||
(format #f "~s" (search-input-file inputs "bin/qucsrflayout")))
|
||
(("\"ngspice\"")
|
||
(format #f "~s" (search-input-file inputs "bin/ngspice")))
|
||
(("\"octave\"")
|
||
(format #f "~s" (search-input-file inputs "bin/octave"))))))
|
||
(add-after 'install 'wrap-program
|
||
(lambda _
|
||
(wrap-program (string-append #$output "/bin/qucs-s")
|
||
`("PATH" ":" prefix
|
||
(,(string-append #$(this-package-input "ngspice") "/bin")
|
||
,(string-append
|
||
#$(this-package-input "qucsator-rf") "/bin")
|
||
,(string-append
|
||
#$(this-package-input "qucsrflayout-cli") "/bin")
|
||
,(string-append
|
||
#$(this-package-input "xyce-serial") "/bin")))))))))
|
||
(native-inputs (list qttools))
|
||
(inputs
|
||
(list bash-minimal
|
||
ngspice
|
||
octave-cli
|
||
qtbase
|
||
qtcharts
|
||
qtsvg
|
||
qtwayland
|
||
qucsator-rf
|
||
qucsrflayout-cli
|
||
xyce-serial))
|
||
(synopsis "GUI for different circuit simulation kernels")
|
||
(description
|
||
"@acronym{Qucs-S, Quite universal circuit simulator with SPICE} provides
|
||
a fancy graphical user interface for a number of popular circuit simulation
|
||
engines. The package contains libraries for schematic capture, visualization
|
||
and components. The following simulation kernels are supported:
|
||
@itemize
|
||
@item Ngspice (recommended)
|
||
@item Xyce
|
||
@item SpiceOpus
|
||
@item Qucsator (non-SPICE)
|
||
@end itemize\n")
|
||
(home-page "https://ra3xdh.github.io/")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public xschem
|
||
(package
|
||
(name "xschem")
|
||
(version "3.4.7")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/StefanSchippers/xschem")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0g9qrzm2mjd7nfg8iyc5az2bs8n5gjv1mrjjdja5vn1yjia7pvy9"))))
|
||
(native-inputs (list flex bison pkg-config))
|
||
(inputs (list gawk
|
||
tcl
|
||
tk
|
||
libxpm
|
||
cairo
|
||
libxrender
|
||
libxcb)) ; Last 3 are optional, but good to have.
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(add-before 'build 'setenv
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(setenv "CC" #$(cc-for-target))
|
||
(invoke "./configure" (string-append "--prefix=" #$output)))))))
|
||
(synopsis "Hierarchical schematic editor")
|
||
(description
|
||
"Xschem is an X11 schematic editor written in C and focused on
|
||
hierarchical and parametric design. It can generate VHDL, Verilog or Spice
|
||
netlists from the drawn schematic, allowing the simulation of the circuit.")
|
||
(home-page "https://xschem.sourceforge.io/stefan/index.html")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public route-rnd
|
||
(package
|
||
(name "route-rnd")
|
||
(version "0.9.3")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://repo.hu/projects/route-rnd/"
|
||
"releases/route-rnd-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0fy3b48s72lpicyap3y6jr9fyvb2ri42jb0gqxk6s927a278bfhc"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f
|
||
#:make-flags #~(list (string-append "PREFIX=" #$output))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'configure
|
||
;; The configure script doesn't tolerate most of our configure
|
||
;; flags.
|
||
(lambda _
|
||
(setenv "CC" #$(cc-for-target))
|
||
(setenv "LIBRND_PREFIX" #$(this-package-input "librnd"))
|
||
(invoke "./configure" (string-append "--prefix=" #$output)))))))
|
||
(inputs (list librnd))
|
||
(home-page "http://repo.hu/projects/route-rnd/")
|
||
(synopsis "Automatic routing for electronics boards")
|
||
(description
|
||
"@code{Route-rnd} is a generic external autorouter for @acronym{PCB,
|
||
Printed Circuit Board} using tEDAx file format, part of the RiNgDove EDA
|
||
suite.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public sch-rnd
|
||
(package
|
||
(name "sch-rnd")
|
||
(version "1.0.10")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://repo.hu/projects/sch-rnd/"
|
||
"releases/sch-rnd-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1wa43jhgzlchqpql9qdz7q4ps4wfk88akrl3pqgcb61mdwy51s20"))))
|
||
(build-system glib-or-gtk-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-target "test"
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'configure
|
||
;; The configure script doesn't tolerate most of our configure
|
||
;; flags.
|
||
(lambda _
|
||
(setenv "CC" #$(cc-for-target))
|
||
(setenv "LIBRND_PREFIX" #$(this-package-input "librnd"))
|
||
(invoke "./configure" (string-append "--prefix=" #$output)))))))
|
||
(inputs (list librnd))
|
||
(home-page "http://repo.hu/projects/sch-rnd/")
|
||
(synopsis "Scriptable editor of schematics for electronics boards")
|
||
(description
|
||
"@code{Sch-rnd} is a standalone and workflow agnostic schematics capture
|
||
tool for @acronym{PCB, Printed Circuit Board}, part of the RiNgDove EDA
|
||
suite.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public sigrok-cli
|
||
(package
|
||
(name "sigrok-cli")
|
||
(version "0.7.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://sigrok.org/download/source/sigrok-cli/sigrok-cli-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1f0a2k8qdcin0pqiqq5ni4khzsnv61l21v1dfdjzayw96qzl9l3i"))))
|
||
(native-inputs
|
||
(list pkg-config))
|
||
(inputs
|
||
(list glib libsigrok libsigrokdecode))
|
||
(build-system gnu-build-system)
|
||
(home-page "https://sigrok.org/wiki/Sigrok-cli")
|
||
(synopsis "Command-line frontend for sigrok")
|
||
(description "Sigrok-cli is a command-line frontend for sigrok.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public sigrok-firmware-fx2lafw
|
||
;; The project's last formal release was in 2019.
|
||
;;
|
||
;; The changes since then allow it to build with the latest version of SDCC,
|
||
;; 4.3.0.
|
||
(let ((commit "96b0b476522c3f93a47ff8f479ec08105ba6a2a5")
|
||
(revision "1"))
|
||
(package
|
||
(name "sigrok-firmware-fx2lafw")
|
||
(version (git-version "0.1.7" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "git://sigrok.org/sigrok-firmware-fx2lafw")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1n5nj2g2m5ih59591ny2drrv25zviqcwyx1cfdhy8ijl82yxjkmb"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list #:tests? #f)) ; no test suite
|
||
(native-inputs
|
||
(list autoconf automake sdcc))
|
||
(home-page "https://www.sigrok.org/wiki/Fx2lafw")
|
||
(synopsis "Firmware for Cypress FX2 chips")
|
||
(description "Fx2lafw is free firmware for Cypress FX2 chips which makes
|
||
them usable as simple logic analyzer and/or oscilloscope hardware.")
|
||
(license license:gpl2+))))
|
||
|
||
(define-public sby
|
||
(package
|
||
(name "sby")
|
||
(version "0.61")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/sby/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "02b3jl3wk93lz0snz2v6kgxhlr7gg9l1gksfmafj2vvy45zhj1fx"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:parallel-tests? #f
|
||
#:test-target "test"
|
||
#:modules `((guix build gnu-build-system)
|
||
((guix build python-build-system) #:prefix python:)
|
||
(guix build utils))
|
||
#:imported-modules `(,@%default-gnu-imported-modules
|
||
(guix build python-build-system))
|
||
#:make-flags #~(list (string-append "PREFIX=" #$output))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(delete 'build)
|
||
;; TODO: build docs, after furo-ys is packaged.
|
||
;; (add-after 'install 'build-info
|
||
;; (lambda _
|
||
;; (invoke "make" "-C" "docs" "info")))
|
||
(add-after 'unpack 'patch-/usr/bin/env
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "sbysrc/sby_core.py"
|
||
(("\"/usr/bin/env\", ")
|
||
""))
|
||
(substitute* "sbysrc/sby.py"
|
||
(("/usr/bin/env python3")
|
||
(search-input-file inputs "bin/python3")))))
|
||
(add-after 'install 'python:wrap
|
||
(assoc-ref python:%standard-phases 'wrap)))))
|
||
(inputs (list abc-yosyshq
|
||
boolector
|
||
python
|
||
python-click
|
||
python-xmlschema
|
||
z3
|
||
yices
|
||
yosys))
|
||
;; TODO: see above build-info phase comment.
|
||
;; (native-inputs (list
|
||
;; python-sphinx python-sphinx-argparse texinfo))
|
||
(home-page "https://yosyshq.readthedocs.io/projects/sby/en/latest/")
|
||
(synopsis "Formal hardware verification with Yosys")
|
||
(description
|
||
"@command{sby} is an @acronym{EDA, Electronic Design Automation}
|
||
front-end program for Yosys-based formal hardware verification flows.")
|
||
(license license:isc)))
|
||
|
||
(define-public sby-gui
|
||
(let ((commit "6c977084c17c4842c504829c6d455a07d67e119c")
|
||
(revision "0"))
|
||
(package
|
||
(name "sby-gui")
|
||
(version (git-version "0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/sby-gui/")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "137x3s5mwbzlcv2p6671ijvbafzwhxpvszzfi9wifq0wcli6cxxg"))))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
(list #:tests? #f)) ;no tests
|
||
(propagated-inputs (list sby))
|
||
(home-page "https://github.com/YosysHQ/sby-gui/")
|
||
(synopsis "Graphical user interface for code{sby}")
|
||
(description
|
||
"@code{sby-gui} is a GUI for front-end driver program for
|
||
code{yosys}-based formal hardware verification flows.")
|
||
(license license:isc))))
|
||
|
||
(define-deprecated-package symbiyosys
|
||
sby)
|
||
|
||
(define-public systemc
|
||
(package
|
||
(name "systemc")
|
||
(version "3.0.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/accellera-official/systemc")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0gbk8ma0nhaf02alcxk808isvk74b5wadaazdvzwbmj0ybx06ml1"))))
|
||
(native-inputs (list perl))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:modules '((guix build cmake-build-system)
|
||
((guix build gnu-build-system) #:prefix gnu:)
|
||
(guix build utils))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'check (assoc-ref gnu:%standard-phases 'check)))))
|
||
(home-page "https://systemc.org/")
|
||
(synopsis "Library for event-driven simulation")
|
||
(description
|
||
"SystemC is a C++ library for modeling concurrent systems, and the
|
||
reference implementation of IEEE 1666-2011. It provides a notion of timing as
|
||
well as an event-driven simulations environment. Due to its concurrent and
|
||
sequential nature, SystemC allows the description and integration of complex
|
||
hardware and software components. To some extent, SystemC can be seen as
|
||
a Hardware Description Language. However, unlike VHDL or Verilog, SystemC
|
||
provides sophisticated mechanisms that offer high abstraction levels on
|
||
components interfaces. This, in turn, facilitates the integration of systems
|
||
using different abstraction levels.")
|
||
;; homepages.cae.wisc.edu/~ece734/SystemC/Esperan_SystemC_tutorial.pdf
|
||
(license license:asl2.0)))
|
||
|
||
(define-public uhdm
|
||
(package
|
||
(name "uhdm")
|
||
(version "1.86")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/chipsalliance/UHDM/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0nsy385frxz5v7i757h1x59xkl21asz3h2fk1nyvx37z8cj0kd3z"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
;; there is no configure stage, as for INSTALL.md
|
||
(delete 'configure))
|
||
#:test-target "test"
|
||
#:make-flags
|
||
#~(list
|
||
(string-append
|
||
"ADDITIONAL_CMAKE_OPTIONS=-DUHDM_USE_HOST_CAPNP=On"
|
||
;; " -DUHDM_WITH_PYTHON=On" ;FIXME
|
||
" -DUHDM_USE_HOST_GTEST=On")
|
||
(string-append "PREFIX=" #$output))))
|
||
(native-inputs
|
||
(list cmake-minimal googletest pkg-config python-wrapper swig))
|
||
(inputs
|
||
(list capnproto openssl python-orderedmultidict zlib))
|
||
(home-page "https://github.com/chipsalliance/UHDM/")
|
||
(synopsis "Universal Hardware Data Model")
|
||
(description
|
||
"UHDM is a complete modeling of the IEEE SystemVerilog Object Model with
|
||
VPI Interface, Elaborator, Serialization, Visitor and Listener.")
|
||
(license license:asl2.0)))
|
||
|
||
(define trilinos-serial-xyce
|
||
;; Note: This is a Trilinos containing only the packages Xyce needs, so we
|
||
;; keep it private. See
|
||
;; <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=27344#248>.
|
||
;; TODO: Remove when we have modular Trilinos packages?
|
||
(package
|
||
(name "trilinos-serial-xyce")
|
||
(version "14.4.0") ;version used by xyce, sync updates
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/trilinos/Trilinos")
|
||
(commit (string-append "trilinos-release-"
|
||
(string-map (lambda (chr)
|
||
(case chr
|
||
((#\.) #\-)
|
||
(else chr)))
|
||
version)))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"19ny75z1x2sfa9jv20prq4wqxznkzqryxj4gv12rzzlz9ihd1dcd"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:configure-flags
|
||
#~(list "-DCMAKE_CXX_FLAGS=-O3 -fPIC"
|
||
"-DCMAKE_C_FLAGS=-O3 -fPIC"
|
||
"-DCMAKE_Fortran_FLAGS=-O3 -fPIC"
|
||
"-DBUILD_SHARED_LIBS=ON"
|
||
"-DTrilinos_ENABLE_TESTS=ON"
|
||
(string-append "-DBLAS_LIBRARY_DIRS="
|
||
#$(this-package-input "openblas") "/lib")
|
||
(string-append "-DLAPACK_LIBRARY_DIRS="
|
||
#$(this-package-input "lapack") "/lib")
|
||
;; From xyce configure phase:
|
||
;; ...
|
||
;; -- Looking for Trilinos
|
||
;; Required packages:
|
||
;; Amesos Epetra EpetraExt Ifpack NOX Teuchos Sacado
|
||
;; Triutils AztecOO Belos TrilinosCouplings
|
||
;; Optional packages:
|
||
;; Isorropia Zoltan ShyLU ShyLU_DDCore Amesos2 Stokhos ROL MKL
|
||
;; ...
|
||
;; List from TRILINOS_SERIAL_ARGS in XyceSuperBuild.cmake.
|
||
"-DTrilinos_ENABLE_NOX=ON"
|
||
"-DNOX_ENABLE_LOCA=ON"
|
||
"-DTrilinos_ENABLE_EpetraExt=ON"
|
||
"-DEpetraExt_BUILD_BTF=ON"
|
||
"-DEpetraExt_BUILD_EXPERIMENTAL=ON"
|
||
"-DEpetraExt_BUILD_GRAPH_REORDERINGS=ON"
|
||
"-DTrilinos_ENABLE_TrilinosCouplings=ON"
|
||
"-DTrilinos_ENABLE_Ifpack=ON"
|
||
;; "-DTrilinos_ENABLE_Isorropia=OFF"
|
||
"-DTrilinos_ENABLE_AztecOO=ON"
|
||
"-DTrilinos_ENABLE_Belos=ON"
|
||
"-DTrilinos_ENABLE_Teuchos=ON"
|
||
"-DTeuchos_ENABLE_COMPLEX=ON"
|
||
"-DTrilinos_ENABLE_Amesos=ON"
|
||
"-DAmesos_ENABLE_KLU=ON"
|
||
"-DTrilinos_ENABLE_Sacado=ON"
|
||
;; "-DTrilinos_ENABLE_Kokkos=OFF"
|
||
"-DTrilinos_ENABLE_ALL_OPTIONAL_PACKAGES=OFF"
|
||
"-DTrilinos_ENABLE_CXX11=ON"
|
||
"-DTPL_ENABLE_AMD=ON"
|
||
"-DTPL_ENABLE_BLAS=ON"
|
||
"-DTPL_ENABLE_LAPACK=ON"
|
||
"-DTPL_ENABLE_DLlib:BOOL=OFF")))
|
||
(native-inputs (list gfortran perl python-minimal-wrapper swig tcsh))
|
||
(inputs (list boost lapack openblas suitesparse-amd))
|
||
(home-page "https://trilinos.github.io/")
|
||
(synopsis "Engineering and scientific problems algorithms")
|
||
(description
|
||
"The Trilinos Project is an effort to develop algorithms and enabling
|
||
technologies within an object-oriented software framework for the solution of
|
||
large-scale, complex multi-physics engineering and scientific problems. A
|
||
unique design feature of Trilinos is its focus on packages.")
|
||
;; The Trilinos project is a collection of open-source packages licensed
|
||
;; individually under multiple open-source licenses. Licensing terms are
|
||
;; available at the Trilinos website:
|
||
;; https://trilinos.github.io/license.html
|
||
;; For information about the software license for a particular package,
|
||
;; see package-specific documentation (e.g., Trilinos/packages/<package
|
||
;; name>/LICENSE).
|
||
;; Only found these two licenses:
|
||
(license (list license:lgpl2.1+
|
||
license:bsd-3))))
|
||
|
||
(define trilinos-parallel-xyce
|
||
(package
|
||
(inherit trilinos-serial-xyce)
|
||
(name "trilinos-parallel-xyce")
|
||
(arguments
|
||
(substitute-keyword-arguments
|
||
(package-arguments trilinos-serial-xyce)
|
||
((#:configure-flags flags)
|
||
;; List from TRILINOS_PARALLEL_ARGS in XyceSuperBuild.cmake.
|
||
#~(cons* "-DTrilinos_ENABLE_ShyLU=ON"
|
||
"-DTrilinos_ENABLE_Zoltan=ON"
|
||
"-DTrilinos_ENABLE_Isorropia=ON"
|
||
"-DTPL_ENABLE_MPI=ON"
|
||
"-DCMAKE_C_COMPILER=mpicc"
|
||
"-DCMAKE_CXX_COMPILER=mpicxx"
|
||
"-DCMAKE_Fortran_COMPILER=mpifort"
|
||
"-DCMAKE_CXX_FLAGS=-O3 -fPIC -lmpi"
|
||
"-DCMAKE_C_FLAGS=-O3 -fPIC -lmpi"
|
||
(delete "-DCMAKE_C_FLAGS=-O3 -fPIC"
|
||
(delete
|
||
"-DCMAKE_CXX_FLAGS=-O3 -fPIC" #$flags))))))
|
||
(inputs
|
||
(modify-inputs (package-inputs trilinos-serial-xyce)
|
||
(prepend openmpi)))))
|
||
|
||
(define-public verilator
|
||
(package
|
||
(name "verilator")
|
||
(version "5.044")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/verilator/verilator/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1x6c94phxjsl5d54rg6bf8ylswsq8729l6rhf2lf6rv770vxhy6g"))))
|
||
(native-inputs
|
||
(list autoconf
|
||
automake
|
||
bison
|
||
cmake-minimal
|
||
flex
|
||
gdb/pinned
|
||
gettext-minimal
|
||
help2man
|
||
python-distro
|
||
python-minimal
|
||
which))
|
||
(inputs
|
||
(list perl python systemc))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'bootstrap
|
||
(lambda _ (invoke "autoconf")))
|
||
(add-after 'unpack 'adjust-source
|
||
(lambda _
|
||
(substitute* "bin/verilator"
|
||
(("/bin/echo") "echo"))))
|
||
(add-before 'check 'set-SYSTEMC_ROOT
|
||
(lambda _
|
||
(setenv "SYSTEMC_ROOT" #$(this-package-input systemc))))
|
||
(add-before 'check 'disable-gdb-safe-path
|
||
(lambda _
|
||
(setenv "HOME" (getcwd))
|
||
(mkdir-p (string-append (getcwd) "/.config/gdb"))
|
||
(with-output-to-file
|
||
(string-append (getcwd) "/.config/gdb/gdbinit")
|
||
(lambda ()
|
||
(display "set auto-load safe-path /"))))))
|
||
#:test-target "test"))
|
||
(home-page "https://www.veripool.org/verilator/")
|
||
(synopsis "Verilog/SystemVerilog HDL simulator and lint system")
|
||
(description
|
||
"Verilator is an @acronym{EDA, Electronic Design Automation} tool
|
||
intended to transform the specified Verilog or SystemVerilog HDL code by
|
||
reading it, performing lint checks, and optionally inserting assertion checks
|
||
and coverage-analysis points. It outputs single or multi-threaded
|
||
@file{.cpp} and @file{.h} files.")
|
||
(license license:lgpl3)))
|
||
|
||
(define-public xoscope
|
||
(let ((revision "0.0.0")
|
||
(commit "d97b9b186a4137582ae27fce1da73f51c06f852e"))
|
||
(package
|
||
(name "xoscope")
|
||
(version (git-version "2.3" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.code.sf.net/p/xoscope/code")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1jaz14pb8lx1y34f979v507dmkrq3wdczi0hkqzb64zg76cdkwya"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs
|
||
(list m4 pkg-config automake libtool autoconf))
|
||
(inputs
|
||
(list alsa-lib comedilib fftw gtk+ gtkdatabox))
|
||
(synopsis "Digital oscilloscope")
|
||
(description "Xoscope is a digital oscilloscope that can acquire signals
|
||
from ALSA, ESD, and COMEDI sources. This package currently does not include
|
||
support for ESD or COMEDI sources.")
|
||
(home-page "https://xoscope.sourceforge.net/")
|
||
(license license:gpl2+))))
|
||
|
||
(define-public xyce-serial
|
||
(package
|
||
(name "xyce-serial")
|
||
(version "7.10.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Xyce/Xyce")
|
||
(commit (string-append "Release-" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"05wlrk554ajsl8n1q4608ckxy9df6x8yshvhjd89b4dj22af1jzi"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list
|
||
#:configure-flags
|
||
#~(list
|
||
(string-append
|
||
"-DTrilinos_ROOT=" #$(this-package-input "trilinos-serial-xyce"))
|
||
"-DXyce_PLUGIN_SUPPORT=ON"
|
||
"-DCMAKE_CXX_FLAGS=-O3 -fPIC"
|
||
"-DCMAKE_C_FLAGS=-O3 -fPIC"
|
||
"-DCMAKE_Fortran_FLAGS=-O3 -fPIC")))
|
||
(native-inputs
|
||
(list bison
|
||
flex
|
||
gfortran))
|
||
(inputs
|
||
(list adms fftw lapack openblas suitesparse-amd trilinos-serial-xyce))
|
||
(home-page "https://xyce.sandia.gov/")
|
||
(synopsis "High-performance analog circuit simulator")
|
||
(description
|
||
"Xyce is a SPICE-compatible, high-performance analog circuit simulator,
|
||
capable of solving extremely large circuit problems by supporting large-scale
|
||
parallel computing platforms. It also supports serial execution.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public xyce-parallel
|
||
(package
|
||
(inherit xyce-serial)
|
||
(name "xyce-parallel")
|
||
(arguments
|
||
(substitute-keyword-arguments
|
||
(package-arguments xyce-serial)
|
||
((#:configure-flags flags)
|
||
#~(cons* "-DTPL_ENABLE_MPI=ON"
|
||
"-DCMAKE_C_COMPILER=mpicc"
|
||
"-DCMAKE_CXX_COMPILER=mpicxx"
|
||
"-DCMAKE_Fortran_COMPILER=mpifort"
|
||
"-DCMAKE_CXX_FLAGS=-O3 -fPIC -lmpi"
|
||
"-DCMAKE_C_FLAGS=-O3 -fPIC -lmpi"
|
||
(delete "-DCMAKE_C_FLAGS=-O3 -fPIC"
|
||
(delete
|
||
"-DCMAKE_CXX_FLAGS=-O3 -fPIC" #$flags))))))
|
||
(inputs
|
||
(modify-inputs (package-inputs xyce-serial)
|
||
(prepend openmpi)
|
||
(replace "trilinos-serial-xyce" trilinos-parallel-xyce)))))
|
||
|
||
(define-public yosys
|
||
(package
|
||
(name "yosys")
|
||
(version "0.61")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/YosysHQ/yosys")
|
||
(commit (string-append "v" version))))
|
||
(sha256
|
||
(base32 "1z96wvgm12vcsp88xkdljvhrrx9b8wc9y2gwjsff83jsp2q0q2wp"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:test-target "test"
|
||
#:make-flags #~(list (string-append "PREFIX=" #$output))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-before 'configure 'fix-paths
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "backends/smt2/smtio.py"
|
||
(("\\['z3")
|
||
(string-append "['"
|
||
(search-input-file inputs "bin/z3"))))
|
||
(substitute* "kernel/driver.cc"
|
||
(("^#include \"libs/cxxopts/include/cxxopts.hpp\"")
|
||
"#include <cxxopts.hpp>"))
|
||
(substitute* '("passes/cmds/show.cc" "passes/cmds/viz.cc")
|
||
(("fuser")
|
||
(search-input-file inputs "bin/fuser")))))
|
||
(replace 'configure
|
||
(lambda* (#:key (configure-flags '()) #:allow-other-keys)
|
||
;; Default to clang-toolchain.
|
||
;; Fall back to gcc-toolchain with:
|
||
;; "--with-configure-flag=yosys=config-gcc"
|
||
(let* ((flags (if (null? configure-flags)
|
||
(list "config-clang" "CC=clang" "CXX=clang++")
|
||
`(,@configure-flags
|
||
,(string-append "CC="#$(cc-for-target))
|
||
,(string-append "CXX="#$(cxx-for-target))))))
|
||
(format #t "CONFIGURE FLAGS: ~s~%" flags)
|
||
(apply invoke "make" flags))))
|
||
(add-after 'configure 'configure-makefile
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* '("Makefile")
|
||
(("ENABLE_EDITLINE \\:= 0")
|
||
"ENABLE_EDITLINE := 1")
|
||
(("ENABLE_LIBYOSYS \\:= 0")
|
||
"ENABLE_LIBYOSYS := 1")
|
||
(("ABCEXTERNAL \\?=")
|
||
(string-append "ABCEXTERNAL = "
|
||
(search-input-file inputs "/bin/abc"))))))
|
||
(add-after 'install 'add-symbolic-link
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; Previously this package provided a copy of the "abc"
|
||
;; executable in its output, named "yosys-abc". Create a
|
||
;; symbolic link so any external uses of that name continue to
|
||
;; work.
|
||
(symlink (search-input-file inputs "/bin/abc")
|
||
(string-append #$output "/bin/yosys-abc"))))
|
||
(add-after 'install 'keep-pmgen-py
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; pmgen.py is required by some yosys plugins.
|
||
(install-file (search-input-file inputs
|
||
"/passes/pmgen/pmgen.py")
|
||
(string-append #$output "/bin"))))
|
||
(add-after 'install 'wrap
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(wrap-program (string-append #$output "/bin/yosys-witness")
|
||
`("GUIX_PYTHONPATH" ":" prefix
|
||
(,(getenv "GUIX_PYTHONPATH")))))))))
|
||
(native-inputs (list bison
|
||
cxxopts ;header-only library
|
||
flex
|
||
gawk ;for the tests and "make" progress pretty-printing
|
||
gtkwave ;for the tests
|
||
iverilog ;for the tests
|
||
pkg-config
|
||
perl))
|
||
;; Optional dependencies increase considerably package closure.
|
||
;; - gtkwave: required only for vcd2fst binary, used by ‘sim’ command.
|
||
;; - graphviz, xdot: used by ‘show’ command to display schematics.
|
||
(inputs (list abc-yosyshq
|
||
bash-minimal
|
||
clang
|
||
editline
|
||
libffi
|
||
psmisc
|
||
python
|
||
python-click
|
||
readline
|
||
tcl
|
||
z3
|
||
zlib))
|
||
(home-page "https://yosyshq.net/yosys/")
|
||
(synopsis "Open synthesis suite for RTL code")
|
||
(description "Yosys consist on a framework of RTL synthesis tools. It
|
||
currently has extensive Verilog-2005 support, and performs synthesis of VHDL
|
||
code using external plugins. It provides a basic set of synthesis algorithms
|
||
for various application domains, including FPGAs and ASICs.")
|
||
(license license:isc)))
|
||
|
||
(define-deprecated-package yosys-clang yosys)
|