[IEEE 2012 Design, Automation & Test in
โ
Bombieri, N.; Fummi, F.; Guarnieri, V.
๐
Article
๐
2012
๐
IEEE
โ 130 KB
This paper presents FAST-GP, a framework for functional verification of RTL designs, which is based on fault injection and parallel simulation on GP-GPUs. Given a fault model, the framework translates the RTL code into an injected C code targeting NVIDIA GPUs, thus allowing a very fast parallel auto