publicUnclaimed/

RISCBoy

Clone

Design files

Luke WrenAdd frontend CIR-vs-memory formal consistency check. Currently passes BMC, but does not pass induction -- prefetch queue gets put into an unreachable state by the solver.23b662339

This file is pinned to the selected release. Download the original to open it in your design tool.

Source

#include "tbman.h"

int main()
{
	tbman_puts("Starting\n");
	tbman_printf("String printf\n");
	tbman_printf("Printing int: %d\n", 1234);
	tbman_exit(0);
}

Download release bundle