5 Commits

Author	SHA1	Message	Date
Luke Wren	c56c75e14b	More dicking with yosys cmd for tb_cxxrtl; ... Removing the prep pass as suggested leads to invalid VCD net names. Adding a opt_clean (+ prerequisites) fixes that. Adding splitnets -driver afterward wins back the performance lost by that last addition. Can you tell I don't know what I'm doing	2021-07-18 16:46:00 +01:00
whitequark	12bf9bb570	Make CXXRTL testbench ~25% faster	2021-07-18 16:04:19 +01:00
Luke Wren	5cc483898d	Add smoke test for core debug interface, and suppress bus fetch incrementing frontend level counter when in debug mode	2021-07-10 21:02:18 +01:00
Luke Wren	1b252d4bda	Significant overhaul of trap handling. Exceptions now taken from stage 3 instead of stage 2	2021-05-23 11:59:46 +01:00
Luke Wren	90acfdcbe8	Organise test directory into formal and sim	2021-05-23 07:42:35 +01:00