verilator/bin
Yilou Wang 31f8be0b85
Support detailed failure info for constraint violations (#6617) (#6883)
* 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>
2026-01-12 15:53:49 +01:00
..
redirect Copyright year update. 2026-01-01 07:22:09 -05:00
verilator Support detailed failure info for constraint violations (#6617) (#6883) 2026-01-12 15:53:49 +01:00
verilator_ccache_report Copyright year update. 2026-01-01 07:22:09 -05:00
verilator_coverage Copyright year update. 2026-01-01 07:22:09 -05:00
verilator_difftree Copyright year update. 2026-01-01 07:22:09 -05:00
verilator_gantt Copyright year update. 2026-01-01 07:22:09 -05:00
verilator_includer Copyright year update. 2026-01-01 07:22:09 -05:00
verilator_profcfunc Copyright year update. 2026-01-01 07:22:09 -05:00