Verifying Hardware Optimizations for Efficient Acceleration.

Qianzhou Wang Yat Wong Zhiqiang Que Wayne Luk

Published in: HEART (2022)

Keyphrases

real time
low cost
data sets
cost effective
computationally efficient
lightweight
general purpose
multiscale
web services
case study
website
artificial intelligence
model checking
hardware implementation
highly efficient
computing systems
massively parallel
circuit design