FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs | IEEE Conference Publication | IEEE Xplore