3 Commits

Author	SHA1	Message	Date
Luke Wren	2618ae0c07	Double-step() after clock posedge to workaround CXXRTL port propagation issue	2021-07-18 16:03:53 +01:00
Luke Wren	ce5cc1f150	oops, bounds checking on free-running tb_cxxrtl	2021-07-18 15:20:25 +01:00
Luke Wren	90acfdcbe8	Organise test directory into formal and sim	2021-05-23 07:42:35 +01:00