From b9f0fd3317b165136a588ca9397fa4c7fc44f337 Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Sat, 17 Jan 2026 10:24:32 +0100 Subject: [PATCH] gnu: verilator: Update to 5.044. * gnu/packages/electronics.scm (verilator): Update to 5.044. [synopsis]: Complete. [description]: Update. Change-Id: I01d14696c52e519817ec827fbabcc0d36f3e0d80 Signed-off-by: Rutherther --- 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 3c5dae1b80f07d99c3c6aa6e0b87cc13789b07ab..8b84642cb2d21fa6430e8b235ca022a6f6a48700 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -3566,7 +3566,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) @@ -3575,7 +3575,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 @@ -3614,11 +3614,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)))