Property Based Testing of Hardware

This repo contains HDL code to implement a memory controller in a Mojo 3 FPGA dev board along with F# code to test it and some utility scripts to make bash completion easier for demoing.