guix_mirror_bot pushed a commit to branch next-master
in repository guix.
commit 9cd9c75eed8ac7df411203b40574a82b458f91a5
Author: Cayetano Santos <[email protected]>
AuthorDate: Sat Jan 17 10:24:32 2026 +0100
gnu: verilator: Update to 5.044.
* gnu/packages/electronics.scm (verilator): Update to 5.044.
[synopsis]: Complete.
[description]: Update.
Change-Id: I01d14696c52e519817ec827fbabcc0d36f3e0d80
---
gnu/packages/electronics.scm | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index d4adf552d6..149ae4190d 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -3574,7 +3574,7 @@ unique design feature of Trilinos is its focus on
packages.")
(define-public verilator
(package
(name "verilator")
- (version "5.042")
+ (version "5.044")
(source
(origin
(method git-fetch)
@@ -3583,7 +3583,7 @@ unique design feature of Trilinos is its focus on
packages.")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
- (base32 "0md5ngfl59xrccbfrz9dn1803n641cz37i4mmpwapx1nvqxfl5zs"))))
+ (base32 "1x6c94phxjsl5d54rg6bf8ylswsq8729l6rhf2lf6rv770vxhy6g"))))
(native-inputs
(list autoconf
automake
@@ -3622,11 +3622,12 @@ unique design feature of Trilinos is its focus on
packages.")
(display "set auto-load safe-path /"))))))
#:test-target "test"))
(home-page "https://www.veripool.org/verilator/";)
- (synopsis "Verilog/SystemVerilog simulator")
+ (synopsis "Verilog/SystemVerilog HDL simulator and lint system")
(description
- "Verilator transforms the specified Verilog or SystemVerilog code by
+ "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
+and coverage-analysis points. It outputs single or multi-threaded
@file{.cpp} and @file{.h} files.")
(license license:lgpl3)))
