Place and route for massively parallel hardware-accelerated functional verification.

Michael D. Moffitt Gernot E. Günther Kevin A. Pasnik

Published in: ICCAD (2013)

Keyphrases

massively parallel
functional verification
parallel computing
high performance computing
fine grained
formal verification
hardware software
image processing
software engineering
parallel machines
real time
information systems
parallel programming