A Functional Verification Environment of OpenCL Programs for Many-core Embedded Systems