cxxrtl: add ability to record/replay diagnostics

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.31k stars 860 forks source link

cxxrtl: add ability to record/replay diagnostics #4261

Closed whitequark closed 4 months ago

whitequark commented 4 months ago

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.