Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.
Michel MetzgerFrederic BastienFrédéric RousseauJulie VachonEl Mostapha AboulhamidPublished in: IEEE International Workshop on Rapid System Prototyping (2006)