Fast development of hardware-based run-time monitors through architecture framework and high-level synthesis | IEEE Conference Publication | IEEE Xplore