4 Commits

Author	SHA1	Message	Date
Luke Wren	c1f17b0b23	Add wfi timer loop example, and add mtime/mtimecmp to non-debug testbench	2021-11-06 09:59:27 +00:00
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