diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-01-17 10:24:31 +0100 |
|---|---|---|
| committer | Rutherther <rutherther@ditigal.xyz> | 2026-01-25 21:24:48 +0100 |
| commit | 2c414093831cb7eb6e412c8b042b4f6fae3073db (patch) | |
| tree | c72fa722d1072e90895df28ad0301ae9112ef8fa /gnu | |
| parent | b93c02327c6419850d903bd7137c1748abd61d7c (diff) | |
gnu: eqy: Update to 0.61.
* gnu/packages/electronics.scm (eqy): Update to 0.61.
[description]: Update.
Change-Id: I1f5f78d5024cc4cc92a09b71fbbfcbf6fb50973f
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/electronics.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 9cc86dd410a..855335bc21b 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -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 |