Patent ID: 7434101
Filing Date: 2008-10-07
Classification: G01R,G06F

Abstract:
1. A method for functional verification of a design having an operational space, the method comprising the steps of: providing a test template that specifies test parameters directed to a function of said design, said template comprising constraints and variables covering a working space within said operational space; associating an exemption mode of operation with at least one of said constraints or at least one of said variables, wherein a domain of said at least one of said variables is modified or said at least one of said constraints is disabled in said exemption mode of operation; producing a test case that lies in said operational space of said design by enabling said exemption mode of operation, said test case comprising a series of transactions originating from said template, wherein said transactions exercise said function of said design, wherein said working space is modified in said exemption mode of operation; and submitting said test case for execution by said design, wherein said exemption mode of operation is associated with only a portion of said template.