CORAL: Verification-Aware OpenCL Based Read Mapper for Heterogeneous Systems | IEEE Journals & Magazine | IEEE Xplore