VLSI Questions for Reactive Programming
October 8, 2022
Reactive software becomes far more precise when VLSI engineers ask the questions. When does a multi-bit value count as complete? When may a comparator fire? How do propagation delay, pipelines, feedback, and clock domains shape a higher-order reaction?
Brian Greenforest invites chip designers to bring decades of timing discipline into the design of large reactive programs.
Every Reaction Occupies Time and Space
A composite value may arrive across several wires or processes at different moments. The system needs an explicit rule for completeness before downstream logic treats the value as meaningful.
Pipelines add latency while increasing throughput. Feedback paths create cycles whose period can exceed one local clock, and careless coupling can produce oscillation far above the gate level.
Turn Silicon Practice Into Language Semantics
Clock trees and D flip-flops solve local timing problems; they do not automatically resolve causality across a hierarchy of reactive objects. A language and runtime must expose those relationships.
ASIC designers, reactive-language researchers, and distributed-systems engineers can define these semantics together. Bring a hard timing pattern and help make reactive programs as analyzable as synchronous circuits.
Execute VLSI Questions for Reactive Programming Through Cartilage Runtime Instantiation
Cartilage Runtime-Instantiation Architecture carries this system into nested modules that enter and connect inside a live spatial machine.
LinkedIn status when archived: Visible to anyone on or off LinkedIn.
ASIC designers in VLSI are the best people to trust reactive programming software insight. What advice you can share regarding completeness of multi-bit values, and comparators, based on composite sets of elementary data values? How you go along with pipelining and signal propagation latencies, to determine higher-order cycles and to prevent higher-order oscillations? You are well aware that clock trees and D flip flops are not panacea for higher-level reactive effects.