CONST_FUNC_RECURSION_MAX was hardcoded to 1000 in V3Simulate.h.
When a recursive constant function exceeds this depth, Verilator
silently gives up on constant folding with no way to increase the
limit. Add --func-recursion-depth <N> (default 1000) so users can
raise it without patching the source.
Add a new Dfg pass 'pushDownSel'. This will try to move selects through
a tree of concatenations in order to eliminate temporary nodes holding
intermediate concatenation results. This can get rid of a lot of
variables when packed arrays are assigned in parts (e.g. bit-wise).
* logging for the unsatisfied constraints
* Apply 'make format'
* fix teh quote error in the array indexing
* Apply 'make format'
* Len change for the hash for randomity when named assertion is used
* seperate name assertion and satisfied case
* Apply 'make format'
* simply comments and display info
* refine code and fix protect case
* format
* update display in test and .out file
* add an enable flag and warning type, add a protect_id version test and update out files
* Apply 'make format'
* simplify some comments
* update out file, ready to be merged.
* update .py file to set the hash key solid
* rename and reformate the warning message to follow the verilator style
* add a nowarn test
* Apply 'make format'
* ordering
---------
Co-authored-by: Udaya Raj Subedi <075bei047.udaya@pcampus.edu.np>
Co-authored-by: github action <action@example.com>
Track the location based message/feature enable bits separately for code
and control file directives. A message/feature is disabled if disabled
either in the control file, or in code directives/metacomments. That is,
enabled only if both agree should be enabled.
jalcim
Wilson Snyder
Geza Lore
Vikash Patel
Wei-Lun Chiu
Yilou Wang
Yangyu Chen
Luca Colagrande
Iztok Jeras
Jose Drowne
Dan Ruelas-Petrisko
Jakub Wasilewski
Jens Yuechao Liu