Bisynchronous FIFOs and the FITO Category Mistake: Silicon-Proven Interaction Primitives for Distributed Coordination
arXiv:2603.03470v1 Announce Type: new Abstract: 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 […]