Commit Graph

  • 0cd1fdf47e Optimize staticly known oversize shifts Geza Lore 2026-06-19 09:02:17 +0100
  • b23fd0a7c5 Apply 'make format' [ci skip] github action 2026-06-19 07:37:03 +0000
  • 608379d357 Review fixes Geza Lore 2026-06-18 20:24:27 +0100
  • 749b93e405 Commentary: Use standard multiline rst comments, other cleanups Wilson Snyder 2026-06-18 21:58:01 -0400
  • 50c15f3705 Commentary: Changes update Wilson Snyder 2026-06-18 21:56:02 -0400
  • 129cfc19c0
    Fix cross-hierarchy tristate drivers of interface nets (#7339) (#7801) Yilou Wang 2026-06-19 01:07:37 +0200
  • f6a63db884 Process only interfaces in the first tristate pass; no_optimize test drivers Yilou Wang 2026-06-18 22:27:57 +0200
  • cb7263d991 Address review and refine branch cov Yilou Wang 2026-06-18 22:08:34 +0200
  • 51022d6152
    Tests: Fix unstable --vltmt test (#7803) Artur Bieniek 2026-06-18 20:40:54 +0200
  • 1262cba8c4 Apply 'make format' [ci skip] github action 2026-06-18 17:36:53 +0000
  • 9f398c4256 Optimize wide decoder case statements into decoder expressions Geza Lore 2026-06-15 15:55:38 +0100
  • 02126f77a9 [#98331] Initial NBA fix Igor Zaworski 2026-06-10 12:03:14 +0200
  • a5a16cfbfd
    Support unbounded always [m:$] and strong s_always liveness (#7798) Yilou Wang 2026-06-18 17:17:09 +0200
  • 22b45f0fd7
    Fix randomize() with skipping derived pre/post_randomize (#7799) Yilou Wang 2026-06-18 17:04:57 +0200
  • f097d50059 Cover interface tristate nets driven only externally, inspired by #7339 Yilou Wang 2026-06-18 16:32:35 +0200
  • 2f01775ba9 Fix unstable --vltmt test Artur Bieniek 2026-06-18 14:30:52 +0200
  • 49e2002704 Support method calls on a sub-interface via a virtual interface Yilou Wang 2026-06-18 14:28:49 +0200
  • 824fd80a93 Point always range bound errors at the offending bound Yilou Wang 2026-06-18 14:18:44 +0200
  • fc022dcaab Apply 'make format' [ci skip] github action 2026-06-18 11:51:49 +0000
  • 425379eec7 Use AstClass::isClassExtendedFrom instead of local isSubclassOf helper Yilou Wang 2026-06-18 13:50:26 +0200
  • 0c32113fc4 Fix cross-hierarchy tristate drivers of interface nets Yilou Wang 2026-06-18 12:09:07 +0200
  • ed143a6cc2 Fix crash on sub-interface method call via a virtual interface Yilou Wang 2026-06-18 11:23:03 +0200
  • 5712f9b614
    Optimize decoder case statements into lookup tables (#7795) Geza Lore 2026-06-18 09:30:50 +0100
  • 57780f6bd6 Optimize decoder case statements into lookup tables Geza Lore 2026-06-15 10:17:46 +0100
  • 3a4377d39e
    Support clocking event on a sequence declaration body (#7598) (#7793) Yilou Wang 2026-06-17 23:57:18 +0200
  • 26c85d4495
    Fix `$bits` on unpacked structs (#4521) (#7796) Nick Brereton 2026-06-17 17:56:48 -0400
  • 065a344bc5 Trim comments in always property tests and update s_always liveness golden Yilou Wang 2026-06-17 23:21:12 +0200
  • 851206f124 merge master and resolve conflicts Yilou Wang 2026-06-17 23:10:14 +0200
  • 1f6280032c Support derived pre/post_randomize through base handle in randomize() with Yilou Wang 2026-06-17 22:55:55 +0200
  • e0c1859e7a Apply 'make format' [ci skip] github action 2026-06-17 19:10:31 +0000
  • c433a489d4 Fix aggregate member bits lookup Nick Brereton 2026-06-17 15:07:13 -0400
  • 80f4ac6d77 address review: checkd macro, emitv visit for AstSClocked, comment trim, cleanOut bool Yilou Wang 2026-06-17 21:00:53 +0200
  • ba3371a90d Add golden file and completing-attempt run to s_always liveness test Yilou Wang 2026-06-17 20:59:41 +0200
  • ed4c340d42 Fix on unpacked structs Nick Brereton 2026-06-17 13:05:08 -0400
  • 4c5e104825
    Internals: Remove bad cmake file reference (#7794) Tracy Narine 2026-06-17 12:12:25 -0400
  • 4d7b4b2d2c Remove bad file reference Tracy Narine 2026-06-17 10:08:22 -0400
  • f11c4084d1 Internals: Minor cleanup of case statement lowering Geza Lore 2026-06-16 14:55:24 +0100
  • b581f73843
    Support $assertcontrol control_type from lock to kill (#7788) Yilou Wang 2026-06-17 13:17:39 +0200
  • b8bab5093c Cover all grammar variants and remove dead AstSClocked method overrides Yilou Wang 2026-06-17 13:16:20 +0200
  • 963998f12a update golden file Yilou Wang 2026-06-17 12:09:56 +0200
  • ca4e7ff92f refine test name and format Yilou Wang 2026-06-17 12:00:30 +0200
  • 944735fc05 Support variable-length intersect in SVA sequences Yilou Wang 2026-06-17 10:56:03 +0200
  • 533ccbb91a fix coverage: no_optimize to prevent const propagation, cover assertCtl default branch Yilou Wang 2026-06-17 10:35:52 +0200
  • d9d26fa54f Report unclocked concurrent assertion as an error Yilou Wang 2026-06-16 22:51:52 +0200
  • a534a1d1bc
    Fix parameter pollution when using class parameters (#7711) (#7763) em2machine 2026-06-16 20:03:28 +0200
  • 792008514b
    Fix randomization of dynamic arrs of objects (#7790) Ryszard Rozak 2026-06-16 18:19:00 +0200
  • bec45125bd
    Fix `cover property` of an implication counting vacuous matches (#7789) Yilou Wang 2026-06-16 17:52:35 +0200
  • e7f21464b4 Fix randomization of dynamic arrs of objects Ryszard Rozak 2026-06-12 08:05:01 +0000
  • 500d8cb725 Drop redundant width sets, cover low-bound rejection, and add s_always per-cycle parity test Yilou Wang 2026-06-16 16:23:27 +0200
  • c7e613badb restart ci Yilou Wang 2026-06-16 16:20:47 +0200
  • 9cf2fc6568 refine test format Yilou Wang 2026-06-16 15:35:53 +0200
  • 2c634f6bf3 Apply 'make format' [ci skip] github action 2026-06-16 12:48:12 +0000
  • 350e718f3a restore the assert type warning Yilou Wang 2026-06-16 14:46:57 +0200
  • 2af9286789
    Merge 279392e0cf into 38fd99b37b Vince Harron 2026-06-16 14:21:59 +0200
  • 1bdf145f6f Drop redundant width sets and cover weak always low-bound rejection Yilou Wang 2026-06-16 12:21:08 +0200
  • 2a7bf64487 Support unbounded always [m:$] and strong s_always [m:n] end-of-simulation liveness Yilou Wang 2026-06-16 11:23:04 +0200
  • 38fd99b37b
    Fix out-of-bounds read value for 2-state types (#7785) Jakub Michalski 2026-06-16 10:21:11 +0200
  • 7bd6c2080f Fix cover property of an implication counting vacuous matches Yilou Wang 2026-06-16 10:00:23 +0200
  • 3113af1f31 Support clocking event on a sequence declaration body Yilou Wang 2026-06-16 09:59:50 +0200
  • 1b0d73d60b Fix out-of-bounds read value for 2-state types Jakub Michalski 2026-06-15 12:05:35 +0200
  • a5fad9882f
    Fix force unpacked bitselect (#7744) (#7745) Nikolai Kumar 2026-06-15 20:57:59 -0500
  • a3d517c4bc
    Merge branch 'verilator:master' into fix/force-unpacked-bitselect Nikolai Kumar 2026-06-15 19:02:58 -0500
  • 68a88a9d74 Fix coverage and nonzero tests Nikolai Kumar 2026-06-15 19:02:44 -0500
  • 0e4a3a92b0 CI: Autoformat markdown files Wilson Snyder 2026-06-15 17:44:50 -0400
  • c86816476c Commentary: Changes update Wilson Snyder 2026-06-15 17:37:49 -0400
  • e91d8d4f8d Support $assertcontrol lock, assertion-type, and non-constant args Yilou Wang 2026-06-15 22:18:56 +0200
  • 7061c1f04d
    Fix not failing assertion when RHS of a range window rejects once (#7773) Artur Bieniek 2026-06-15 21:32:11 +0200
  • 0233e5044c
    Tests: Restore Antmicro copyright on test files accidentally overwritten (#7786) Yilou Wang 2026-06-15 14:56:34 +0200
  • 709c444df3
    Internals: Add AGENTS files to guide AI contributions (#7562) (#7765) Yilou Wang 2026-06-15 14:42:34 +0200
  • 077558a9b0
    Support cover sequence statement (#7764) Yilou Wang 2026-06-15 14:36:21 +0200
  • 7dbce60884 Restore Antmicro copyright on test files accidentally overwritten Yilou Wang 2026-06-15 14:31:52 +0200
  • 6ed3f7835d Apply review feedback to AGENTS files Yilou Wang 2026-06-15 13:48:55 +0200
  • 969a775ae5
    Support assertion control system tasks in classes and interfaces (#7761) Yilou Wang 2026-06-15 13:33:55 +0200
  • e51961469c Use COVERIGN to replace UNSUPPORTED Yilou Wang 2026-06-15 12:35:17 +0200
  • efa28f646a Test assertion control with multiple class and interface instances Yilou Wang 2026-06-15 12:31:58 +0200
  • a07a980b73 Internals: Do not overload AstVar::isPrimaryIO() for sampled value vars Geza Lore 2026-06-15 09:17:41 +0100
  • 5ab2bf1ec4
    Optimize input combinational logic by change detection (#7784) Geza Lore 2026-06-15 05:42:00 +0100
  • fcf0aede8d Update json dumps Geza Lore 2026-06-14 20:52:41 +0100
  • cf18f46be1 Review fixes Geza Lore 2026-06-14 20:16:49 +0100
  • df78db0e73 Fix $fflush and autoflush with --threads (#7782). Wilson Snyder 2026-06-14 13:01:59 -0400
  • 12bcf85d33 Internals: Misc V3Life cleanups. No functional change intended. Wilson Snyder 2026-06-14 09:28:25 -0400
  • 13111d0a28 Optimize input combinational logic by change detection Geza Lore 2025-11-25 09:50:06 -0600
  • 77e6a21224 Internals: Inline AstVar::isToggleCoverable() Geza Lore 2026-06-14 16:29:27 +0100
  • 9a0cd289e8 Fix memory leak in previous patch Geza Lore 2026-06-14 14:53:40 +0100
  • b973b1df5a Fix hang in assertion optimization (#7707 repair) Geza Lore 2026-06-14 13:13:47 +0100
  • c6a5255ea0 Tests: Disable unstable --vltmt tests (#7779) (#7780) (#7781) Wilson Snyder 2026-06-13 22:07:18 -0400
  • 44bd8a0c14 Commentary: Changes update Wilson Snyder 2026-06-13 22:07:14 -0400
  • b03bc4c0fa Turn on --flatten by default Geza Lore 2026-06-13 21:01:33 +0100
  • df1b1577d9
    Deprecate isolate_assignments attribute (#7774) Geza Lore 2026-06-13 19:40:29 +0100
  • 64d680c9ba
    CI: Ubuntu 26.04 (#7776) Wilson Snyder 2026-06-13 08:40:36 -0400
  • e06158b404
    Merge branch 'verilator:master' into u26 Wilson Snyder 2026-06-13 07:31:31 -0400
  • 368a38b89a Deprecate isolate_assignments attribute Geza Lore 2026-06-13 09:07:12 +0100
  • 7af22422c7
    Optimize table lookups in Dfg (#7772) Geza Lore 2026-06-13 08:45:46 +0100
  • ba624d7ce1
    Optimize away proven redundant case statement assertions (#7771) Geza Lore 2026-06-13 08:45:26 +0100
  • 79899724fd fix indent Eric Mejdrich 2026-06-12 20:46:41 -0500
  • c070337a4a CI: Ubuntu 26.04 Wilson Snyder 2026-06-12 21:08:11 -0400
  • 87d2610674
    Support unpacked struct stream (#7767) Nick Brereton 2026-06-12 17:32:01 -0400
  • 50c3d160bd Squash support-unpacked-struct-stream for API push Nick Brereton 2026-06-12 15:02:20 -0400
  • 9afd1fa7c5 Optimize table lookups in Dfg Geza Lore 2026-06-12 16:24:39 +0100
  • e03fa6c783
    Support covergroup runtime model Phase A1 (#7728) Matthew Ballance 2026-06-12 08:40:48 -0700