Dossis, M. High-Level Synthesis Integrated Verification. Eng. Technol. Appl. Sci. Res. 2015, 5, 864-870.