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