Equivalence Checking of Scheduling in High-Level Synthesis Using Deep State Sequences.

Jian Hu Guanwu Wang Guilin Chen Xianglin Wei

Published in: IEEE Access (2019)

Keyphrases

sequential patterns
high level synthesis
state space
resource allocation
scheduling algorithm
machine learning
image processing
case study
higher order