Equivalence checking of scheduling in high-level synthesis.

Tun Li Jian Hu Yang Guo Sikun Li QingPing Tan

Published in: ISQED (2015)

Keyphrases

high level synthesis
scheduling problem
parallel architecture
scheduling algorithm
round robin
multi agent
signal processing
design space exploration
resource allocation
machine learning
single machine
response time
parallel machines
wireless sensor networks
pairwise
optimal solution
computer vision