tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-21 17:50:34 +02:00
Code Activity

gnu: eqy: Update to 0.61.

Browse Source 
* gnu/packages/electronics.scm (eqy): Update to 0.61.
[description]: Update.

Change-Id: I1f5f78d5024cc4cc92a09b71fbbfcbf6fb50973f
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
This commit is contained in:
Cayetano Santos
2026-01-17 10:24:31 +01:00
committed by Rutherther
parent b93c02327c
commit 2c41409383
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
gnu/packages/electronics.scm
View File

@@ -347,7 +347,7 @@ individual low-level driver modules.")
(define-public eqy
(package
(name "eqy")
(version "0.60")
(version "0.61")
(source
(origin
(method git-fetch)
@@ -396,11 +396,11 @@ individual low-level driver modules.")
(home-page "https://yosyshq.readthedocs.io/projects/eqy/en/latest/")
(synopsis "Equivalence checking using formal verification with Yosys")
(description
"@command{Eqy} is a 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.")
"@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