Session Type
Quick Talks
Date & Time
Wednesday, May 11, 2022, 12:35 PM - 12:45 PM
How to Make Hardware with Maths: An Introduction to CIRCT's Scheduling Infrastructure
The LLVM incubator project CIRCT aims to provide an MLIR-based foundation for the next generation of modular hardware design tools. Scheduling is a common concern in this domain, for example in high-level synthesis (HLS) flows that build tailored, synchronous microarchitectures from untimed dataflow graphs. This talk gives a gentle introduction to CIRCT's scheduling abstractions and presents the currently available infrastructure—including extensible problem models, ready-to-use scheduler implementations and support for external solvers. We discuss current users of the infrastructure and outline future plans for this recent addition to the project.
Location Name
Ballroom 1