gnu: iverilog: Enable cross compile.

* gnu/packages/electronics.scm (iverilog)[arguments]: Add #:make-flags
and remove ’ensure-native-baked-CC/CXX #:phase.

Merges guix/guix!5696

Change-Id: I53cbdc77a426403dcd965a4e51b04e34fdd590d2

gnu: yosys: Update to 0.61.

* gnu/packages/electronics.scm (yosys): Update to 0.61.

Change-Id: Ia68fb63e63b3c71fff299c351c67f1ad42b88141

gnu: abc-yosyshq: Update to 0.61.

* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.61.

Change-Id: Ic69e6f372c7c26c3d5547863d63540d23b80680c

gnu: abc: Update to 0.0-9.c18b9a2.

* gnu/packages/electronics.scm (abc): Update to 0.0-9.c18b9a2.

Change-Id: I545e4c51670101bb92de5577fc10aa23722eeca7

gnu: openboardview: Update to 9.95.2.

* gnu/packages/electronics.scm (openboardview): Update to 9.95.2.
[inputs]: Remove imgui-1.87; add imgui.
[native-inputs]: Remove python; add python-minimal-wrapper.

Fixes guix/guix!5303
Merges guix/guix!5542

Change-Id: I03c00cd253531b1d47bdbec1e3640c803335b405

gnu: osvvm: Fix library instantiation.

The output of this package is to be used as the instantiation library
from its dependent upstream. The search patch is used to label as a
firmware package.

* gnu/packages/electronics.scm (osvvm)[outputs]: Rename.
[properties]: Update accordingly.
[arguments]: Update #:install-plan.
[native-search-paths]: Update ’variable.
* gnu/packages/electronics.scm (python-vunit)[arguments]: Update
’unbundle #:phase.

Change-Id: Ide0e5e8e9233e744468aa343b9b5acc77d5e4b6d

gnu: open-logic: Fix library instantiation.

The output of this package is to be used as the instantiation library
from its dependent upstream. The search patch labels as a firmware
package.

* gnu/packages/electronics.scm (open-logic)[outputs]: Rename.
[properties]: Update accordingly.
[arguments]: Update #:install-plan.
[native-search-paths]: Update ’variable.

Change-Id: I814f561cb5be7c90fdc3fa0f4a8bc6f6a57bc992

gnu: open-logic: Complete tests.

* gnu/packages/electronics.scm (open-logic)[arguments]: Add "en_cl_fix"
tests to ’check #:phase.

Change-Id: Id65302ea9bc3578ce16a01f4b2fb75742233f57e

gnu: electronics: Add gabber to copyright line.

* gnu/packages/electronics.scm: Add copyright line.

Change-Id: Ic4794e81e967cc72fa20d60a7adfaa912762850a
Signed-off-by: Gabriel Wicki <gabriel@erlikon.ch>

gnu: Move gnucap to electronics module.

* gnu/packages/engineering.scm (gnucap): Move ...
* gnu/packages/electronics.scm: ... here.

Change-Id: I2fe0d7f2cf6fc3f55374a7ec2eb9136573d4abd1
Signed-off-by: Gabriel Wicki <gabriel@erlikon.ch>

gnu: Add python-hdlconvertor.

* gnu/packages/electronics.scm (python-hdlconvertor): New variable.
(yosys-src-for-hdlconvertor-tests): New variable.

Change-Id: I0acd8c8f050a5bc632f68511b3e7d24cf3621162

gnu: Add python-hdlconvertorast.

* gnu/packages/electronics.scm (python-hdlconvertorast): New variable.

gnu: Add lctime.

* gnu/packages/electronics.scm (lctime): Add variable.

Change-Id: I03f0fd455c9e5e8f69a2fa71b8f6bea6f60d43ef
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: Add python-liberty-parser.

* gnu/packages/electronics.scm (python-liberty-parser): Add variable.

Change-Id: I91d7545ccb938ea534553f35e8f19ca0507dc625
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: Add python-klayout.

* gnu/packages/electronics.scm (python-klayout): Add variable.

Change-Id: I637c3f9880121666fe06e427261b694018158fe5
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: python-vunit: Update to 5.0.0-dev.7.

* gnu/packages/electronics.scm (python-vunit): Update to 5.0.0-dev.7.
[native-inputs]: Remove python-wheel.

Change-Id: I6d4af27e8b68e42396e2aa63c4462021db90148b

gnu: Add klayout.

* gnu/packages/electronics.scm (klayout): New variable.

Change-Id: I8fa2b909d28018bc7219a7bd188dd34a5be6e6d9
Signed-off-by: Gabriel Wicki <gabriel@erlikon.ch>

gnu: Add python-cocotbext-axi.

* gnu/packages/electronics.scm (python-cocotbext-axi): New variable.

Change-Id: I1ca017ef9d9253f01dd74f25de04ed2551b4a620

gnu: Add python-cocotb-test.

* gnu/packages/electronics.scm (python-cocotb-test): New variable.

Change-Id: Iefe86be6c6d15280694e79b13ec013056346be01

gnu: python-cocotb: Complete tests.

* gnu/packages/electronics.scm (python-cocotb)[arguments]: Add
’run-examples #:phase.

Change-Id: I3347baa3d21e6aec80d4e72a4d67dbe003bd8c2e