Open
Description
Verilator 5.028 2024-08-21
Minor:
- Support state-dependent constraints (State-dependent constraints verilator#5217). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support cross-module clocking variable access (Support cross-module clockvars access verilator#5184). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support inline constraints for class randomization methods (Support inline constraints for class randomization methods verilator#5234). [Krzysztof Boroński]
- Support clocking blocks in virtual interfaces (Support clocking blocks in virtual interfaces verilator#5235). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support
$assertcontrolassertion_type (Support assertcontrol assertion_type verilator#5236). [Bartłomiej Chmiel, Antmicro Ltd.] - Support conditional constraints (Add support for conditional constraints verilator#5245). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support
--compiler-includeheaders in user-supplied cpp files (Include--compiler-includeheaders in user-supplied cpp files verilator#5271). [Bartłomiej Chmiel, Antmicro Ltd.] - Support
rand_mode(Supportrand_modeverilator#5273). [Krzysztof Bieganski, Antmicro Ltd.] - Support
this.randomize with(Add support forthis.randomize withverilator#5282). [Arkadiusz Kozdra, Antmicro Ltd.] - Support foreach constraints (Add support for foreach constraints verilator#5302). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support
parameter typein hierarchical blocks (Support 'parameter type' in hierarchical blocks verilator#5309) (Support 'parameter type' in hierarchical blocks (#5309) verilator#5333). [Bartłomiej Chmiel, Antmicro Ltd.] - Support assertcontrol directive type (Support assertcontrol directive type verilator#5310). [Bartłomiej Chmiel, Antmicro Ltd.]
- Support inline random variable control (Support inline random variable control verilator#5317). [Krzysztof Bieganski, Antmicro Ltd.]
- Support streaming operator on arrays and wide data (Add support for streaming operator on arrays and wide data verilator#5326). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support streams to/from arrays of wide data (Support streams to/from arrays of wide data verilator#5334). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support
constraint_mode(Supportconstraint_modeverilator#5338). [Krzysztof Bieganski, Antmicro Ltd.] - Support constraining AstSel (Add support for constraining AstSel verilator#5344). [Arkadiusz Kozdra, Antmicro Ltd.]
- Support default value on module input (Support default value on module input: verilator#5358) (Support default value on module input (#5358) verilator#5373). [Drew Ranck]
- Add
--compiler-includefor additional C++ includes (Unable to -include headers in Cflags due to precompile header verilator#5139) (Resolve unable to add additional includes to precompiled header verilator#5202). [Bartłomiej Chmiel, Antmicro Ltd.] - Add
--emit-accessors(Generating getters/setters for ports verilator#5182) (Add--emit-accessorsverilator#5227). [Ryan Ziegler] - Add suggestions on misspelled PLI functions.
- Add warning on dist in constraints (Warn on dist in constraints verilator#5264). [Arkadiusz Kozdra, Antmicro Ltd.]
- Add more
rand_modeunsupported errors (Morerand_modeunsupported errors verilator#5329). [Krzysztof Bieganski, Antmicro Ltd.] - Add parsing but otherwise ignore std::randomize (Ignore std::randomize verilator#5354). [Arkadiusz Kozdra, Antmicro Ltd.]
- Add Verilated cc define when
--timingused (Export--timingflag as define when building verilated models verilator#5383). [Kaleb Barrett] - Improve emitted code to use a reference for VlSelf (V3EmitC: Use a reference instead of a pointer for VlSelf verilator#5254). [Yangyu Chen]
- Fix monitor block sensitivity items ($monitor prints intermediate values during simulation deltas verilator#4400) (Fix monitor block sensitivity items (#4400) verilator#5294). [Udaya Raj Subedi]
- Fix fusing macro arguments to not ignore whitespace (Fusing macro argument eats up whitespace verilator#5061). [Tudor Timi]
- Fix optimized-out sensitivity trees with
--timing(A specific pattern is verilated into an infinite loop when optimizations are enabled verilator#5080) (Fix optimized out sentrees with--timingverilator#5349). [Krzysztof Bieganski, Antmicro Ltd.] - Fix classes/modules of case-similar names (Compilation error on classes with names differing in case verilator#5109). [Arkadiusz Kozdra]
- Fix mis-removing $value$plusargs calls (Optimizer removes side-effecting assignment in initial block verilator#5127) (Fix errant removal of some side-effecting assigns verilator#5137). [Seth Pellegrino]
- Fix incorrect result of width mismatch (Three-way XOR involving bit 31 of a vector evaluates incorrectly verilator#5186) (Fix incorrect result of width mismatch (#5186) verilator#5189). [Yutetsu TAKATSUKASA]
- Fix compiler coroutine check (Failure to compile on MacOS 13 with Apple Clang verilator#5190) (Fix compiler coroutine check (#5190) verilator#5300). [Ricardo Barbedo]
- Fix shortened module names when searching for files (Can't find modules with very long names verilator#5196) (Fix shortened module names when searching for files (#5196) verilator#5246). [Tim Hutt]
- Fix
--x-assignto be independent from+verilator+rand+reset(Make rand-assign independent of rand-init verilator#5214). [Andrew Nolte] - Fix splitting if statements with impure conditions (Prevent splitting if statements with impure conditions verilator#5219). [Bartłomiej Chmiel, Antmicro Ltd.]
- Fix unknown conversion on queues (C++ compile errors: operands to ‘?:’ have different types, base operand of ‘->’ is not a pointer, etc. verilator#5220). [Alex Solomatnikov]
- Fix top-level unpacked structure resets (CPP ERROR: Request for a member that is non class type verilator#5221).
- Fix concurrency for mailbox and semaphores (Properly handle concurrency for mailbox and semaphores verilator#5222). [Liam Braun]
- Fix forks capturing non-input ports in tasks (Interface delays cause too many arguments in function call to TASK verilator#5237) (Fix forks capturing non-input ports in tasks verilator#5343). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix toggle coverage aggregation on same line (Fix toggle coverage aggregation verilator#5248). [Krzysztof Obłonczek]
- Fix error on empty generate with -O0 (Internal error on empty generate-for loop with -O0 verilator#5250).
- Fix unconstrained randomization of unpacked structs (Fix unconstrained randomization of unpacked structs verilator#5252). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix inlining of variables driven from forced vars (DFG: Allow inlining of variabels driven from forced vars verilator#5259). [Geza Lore]
- Fix tracing with
--main-top-name -(FST Top module cannot be fully hidden verilator#5261). [Ethan Sifferman] - Fix randomization when used with inheritance (Fix randomization when used with inheritance verilator#5268). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix inline constraints creating class random generator (Fix inline constraints creating class random generator verilator#5280). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix WIDTHEXPAND on left shift of intuitive amount (Incorrect %Warning-WIDTHEXPAND for shift operator (<<) verilator#5284). [Greg Taylor]
- Fix elaborating foreach loops (Add tests for simulating foreach loops verilator#5285). [Arkadiusz Kozdra, Antmicro Ltd.]
- Fix initializing static array in dynamic arrays and queues (Initializing a 2-D dynamic array results in an internal error: InitArray on non-array verilator#5287). [Baruch Sterin]
- Fix static variable initializers in procedures (Handle static variable with assignment declaration in automatic context verilator#5296). [Bartłomiej Chmiel, Antmicro Ltd.]
- Fix randomizing current object with
randclass instance member (Fix randomizing current object withrandclass instance member verilator#5292). [Krzysztof Bieganski, Antmicro Ltd.] - Fix handling of rand fields not referenced in constraints (Fix handling of rand fields not referenced in constraints verilator#5305). [Ryszard Rozak, Antmicro Ltd.]
- Fix Python3 path discovery in make flows to avoid mixing system and user python interpreters (Python "SRE module mismatch" as Vtop.mk does not set Python executable and verilator_includer hence defaults to system path verilator#5307) [Markus Krause]
- Fix make flows to pass PYTHON3 (like PERL) (Python "SRE module mismatch" as Vtop.mk does not set Python executable and verilator_includer hence defaults to system path verilator#5307) (ensure make flows do not call python3 with absolute system path (like perl) verilator#5308). [Markus Krause]
- Fix assert on wide expression (unique case with --assert falsely failing with multiple matches verilator#5319) (Fix assert on wide expression (#5319) verilator#5324). [Varun Koyyalagunta]
- Fix output clock variable overwriting signal (Cannot assign signals in interface that defines a clocking, even if clocking never used verilator#5320) (Fix output clockvar overwriting signal verilator#5347). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix stringify in nested preprocessor macros (Fix stringify in nested preprocessor macros verilator#5323). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix $sformat with array arguments (Trying to create array of strings causes Verilator to segfault, not sure why verilator#5330). [Abe Jordan]
- Fix -Wunused-but-set-variable clang warning (Fix -Wunused-but-set-variable clang warning verilator#5331). [Bartłomiej Chmiel, Antmicro Ltd.]
- Fix purity of functions with AstJumpBlock or AstStmtExpr (Fix purity of functions with AstJumpBlock or AstStmtExpr verilator#5332). [Ryszard Rozak, Antmicro Ltd.]
- Fix compilation error on unreachable disable fork / wait fork (Fix compilation error on unreachable disable fork / wait fork verilator#5339). [Arkadiusz Kozdra, Antmicro Ltd.]
- Fix missing type coercion in 'inside {array}' (Fix missing type coercion in 'inside {array}' verilator#5340). [Arkadiusz Kozdra, Antmicro Ltd.]
- Fix +: and -: unpacked array slicing when array has nonzero low index (Indexed vector part-select behaves incorrectly on arrays that have nonzero starting index range verilator#5345) (Fix +: and -: unpacked array slicing when array has nonzero low index. (#5345) verilator#5387). [James Bailey]
- Fix tracing_{on,off} in the presence of non-inlined modules (Fix tracing_{on,off} in the presence of non-inlined modules verilator#5346). [Geza Lore]
- Fix NBAs in suspendables (Fix NBAs in suspendables (#5084) verilator#5348). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix lint_off on Errors (
lint_off -matchincludes Errors verilator#5351) (Prevent lint_off on Errors (#5351) verilator#5363). [Ethan Sifferman] - Fix cache config file resolution performance (Always cache config file resolution results verilator#5369). [Geza Lore]
- Fix capturing fields from superclass in
randomize() with(Fix capturing fields from superclass inrandomize() withverilator#5389). [Krzysztof Bieganski, Antmicro Ltd.] - Fix virtual interface null checks (Fix virtual interface null checks verilator#5391). [Krzysztof Bieganski, Antmicro Ltd.]
- Fix ==? and !=? with X values.
- Fix CPU time being zero.
- Fix inline function ref port persistence.
Metadata
Metadata
Assignees
Labels
No labels