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
..
.gitignore	Organise test directory into formal and sim	2021-05-23 07:42:35 +01:00
Makefile	More dicking with yosys cmd for tb_cxxrtl;	2021-07-18 16:46:00 +01:00
tb.cpp	Double-step() after clock posedge to workaround CXXRTL port propagation issue	2021-07-18 16:03:53 +01:00