Catherine f60b77a7f0 cxxrtl: add ability to record/replay diagnostics. ...

Note that this functionality is only used by diagnostics emitted by
the C++ testbench; diagnostics emitted by the RTL in `eval()` do not
need to be recorded since they will be emitted again during replay.

2024-03-05 17:00:02 +00:00

..

aiger

write_aiger: Include $assert and $assume cells in -ywmap output

2024-03-04 16:53:03 +01:00

blif

Ignore $scopeinfo in write_blif

2024-02-06 17:51:29 +01:00

btor

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

cxxrtl

cxxrtl: add ability to record/replay diagnostics.

2024-03-05 17:00:02 +00:00

edif

Ignore $scopeinfo in write_edif

2024-02-06 17:51:29 +01:00

firrtl

Ignore $scopeinfo in write_firrtl

2024-02-06 17:51:29 +01:00

intersynth

Intersynth URL

2021-06-09 12:42:52 +02:00

jny

Drop stray 'cellaigs.h' include from backend passes

2023-07-10 12:45:03 +02:00

json

Ignore $scopeinfo in write_json

2024-02-06 17:51:29 +01:00

rtlil

backends/rtlil: Do not shorten a value with z bits to 'x

2023-01-29 14:02:25 +01:00

simplec

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

smt2

smtbmc: Cache hierarchy for loading multiple yw files

2024-03-04 16:53:03 +01:00

smv

Ignore $scopeinfo in write_smv

2024-02-06 17:51:29 +01:00

spice

Ignore $scopeinfo in write_spice

2024-02-06 17:51:29 +01:00

table

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

verilog

Ignore $scopeinfo in write_verilog

2024-02-06 17:51:29 +01:00