compilers Pages tagged with compilers compilers Designing a topology DSL for NoC synthesis 2026-03-14 A declarative language for network-on-chip topology that compiles to RTL. Scheduling, ILP, and a Bluespec Bug That Ate 64 GB of RAM 2025-04-08 From the formal theory of scheduling in architectural synthesis to a production bug where an O(n²) ILP solver consumed 64 GB and 15 hours on 10,000 BVI signals.