Requires YosysHQ/yosys#3624 to work. Currently disabled by default unless either the option vcd_sim on or fst on are present.
Since I had to rewrite the summary generation code to be shared across engines, I used the opportunity to also make it show failed assertions when that information is available (which it always is when using sim).
Requires YosysHQ/yosys#3624 to work. Currently disabled by default unless either the option
vcd_sim on
orfst on
are present.Since I had to rewrite the summary generation code to be shared across engines, I used the opportunity to also make it show failed assertions when that information is available (which it always is when using sim).