14. The assertion monitor of claim 13 , wherein the parser is further configured to generate an association list that identifies the relationship between the atomic assertions and the propositional symbols used to specify the Boolean propositions.
14. The assertion monitor of claim 13 , wherein the parser is further configured to generate an association list that identifies the relationship between the atomic assertions and the propositional symbols used to specify the Boolean propositions. 15. The assertion monitor of claim 14 , wherein the filter is configured to receive configuration data generated in response to a simulation of a test case on the design model.