Fearless Hardware Design
summary
A new HDL called Filament uses a type system to record timing and structural constraints so code is provably safe across all parameter values: it encodes initiation interval and per-signal availability, proves parametric correctness (no resource conflicts and only valid reads), and type-checks a shift register for any n. A divider implementation exposes three parameters (bitwidth W, instances I, reuse R) with the constraint I × R = W, guarantees latency W and II = R, and a working compiler enforces these at compile time.
AI-written summary · about