Search papers, labs, and topics across Lattice.
This paper surveys four decades of bisynchronous FIFO (First-In, First-Out) design, verification, and deployment in silicon, demonstrating reliable data transfer between independent clock domains without a global timebase. It argues that the success of these hardware buffers provides a silicon-proven counterexample to the Forward-In-Time-Only (FITO) assumption prevalent in distributed systems. The paper proposes that interaction-based synchronization primitives, like handshakes, can replace timestamp-based coordination, challenging the reliance on timestamps in protocols like PTP and Ethernet.
Forget timestamps: decades of silicon-proven bisynchronous FIFOs prove that reliable distributed coordination is possible using interaction-based primitives alone.
Bisynchronous FIFOs -- hardware buffers that mediate data transfer between independent clock domains without a shared global timebase -- have been designed, formally verified, and commercially deployed in silicon for over four decades. We survey this literature from Chapiro's 1984 GALS thesis through Cummings's Gray-code pointer techniques, Chelcea and Nowick's mixed-timing interfaces, Greenstreet's STARI protocol, and the 2015 NVIDIA pausible bisynchronous FIFO, and argue that this body of work constitutes a silicon-proven existence proof against the Forward-In-Time-Only (FITO) assumption that pervades distributed systems. The central claim is that interaction-based synchronization primitives -- handshakes, mutual exclusion, and causal flow control -- can replace timestamp-based coordination at the most demanding levels of digital engineering, directly undermining the FITO assumption in protocols such as PTP, TSN, and conventional Ethernet. We draw a structural parallel between on-chip bisynchronous coordination and the Open Atomic Ethernet (OAE) architecture, and identify the handshake -- not the timestamp -- as the fundamental primitive for coordination between independent causal domains.
