DEEQ: Data-driven End-to-End EQuivalence Checking of High-level Synthesis.

Mohammed Abderehman Theegala Rakesh Reddy Chandan Karfa

Published in: ISQED (2022)

Keyphrases

end to end
data driven
high level synthesis
parallel architecture
ad hoc networks
high bandwidth
multipath
design space exploration
admission control
congestion control
wireless ad hoc networks
case study
parallel processing
rate allocation