A cross platform, formally verified, open source, hyperRAM controller with simulator - View it on GitHub