CoreIR -> simulate/verify post mapped graph - Githubissues

StanfordAHA / CGRAFlow

Integration test for entire CGRA flow

BSD 3-Clause "New" or "Revised" License

12 stars 2 forks source link

CoreIR -> simulate/verify post mapped graph #49

Open leonardt opened 6 years ago

leonardt commented 6 years ago

[ ] CoreIR definitions of the PE primitives
[ ] Simulate the post mapped graph
[ ] Formally verify the post mapped graph