Name: protocol-emulator
Title: Protocol Emulator
Kind: ASIC, Hardcaml
Status: Pending
Created: 2026-09-16 (47d ago)
Built With: OCaml, Hardcaml, Tiny Tapeout, IHP CMOS5L
Highlights:
- Entry for Jane Street's protocol emulator ASIC competition
- Two small cores bit-bang pins from firmware with a 24-bit cycle clock and deadline registers
- A static analyser rejects any program that could miss a deadline
- A small kernel, proved sound against the RTL, checks what it certifies
Note: In progress. Deadline January 2027.
Links:
Source: https://github.com/MarcosAsh/protocol-emulator
Logs: latest commits (l)
Events: <none>