A compositional model for the functional verification of high-level synthesis results | IEEE Journals & Magazine | IEEE Xplore