M. Dossis, “High-level Synthesis Integrated Verification”, Eng. Technol. Appl. Sci. Res., vol. 5, no. 5, pp. 864–870, Oct. 2015.