StanfordAHA / CGRAFlow

Integration test for entire CGRA flow
BSD 3-Clause "New" or "Revised" License
12 stars 2 forks source link

Start a conversation about higher-level scheduling language #80

Open priyanka-raina opened 6 years ago

priyanka-raina commented 6 years ago

We want to be able to express the schedule at a higher level in a way that is more intuitive and translate it into a lower level schedule that uses as much of the built-in Halide primitives as is reasonable.

Cast scheduling problem into SMT setting.