Conference paper Open Access
Nadesh Ramanathan; George A Constantinides; John Wickerson
This collection contains the companion material of "Concurrency-Aware Thread Scheduling for High-Level Synthesis" by N Ramanathan, GA Constantinides and J Wickerson published at IEEE International Symposium on
Field-Programmable Custom Computing Machines (FCCM) 2018.
We include the model checking files, performance data, analysis times data and benchmark code here.