Scalable Scheduling for Hardware-Accelerated Functional Verification.

Michael D. Moffitt Gernot E. Günther

Published in: ICAPS (2011)

Keyphrases

functional verification
scheduling problem
scheduling algorithm
resource allocation
low latency
formal verification
image processing