Scheduling, ILP, and a Bluespec Bug That Ate 64 GB of RAM2025-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.
Scheduling Algorithms
Notes on scheduling algorithms and techniques in high-level synthesis