Introspection mechanisms for runtime verification in a system-level design environment

Michel Metzger, Amine Anane, F. Rousseau, Julie Vachon, El Mostapha Aboulhamid. Introspection mechanisms for runtime verification in a system-level design environment. Microelectronics Journal, 40(7):1124-1134, 2009. [doi]

Abstract

Abstract is missing.