5. The method of claim 1 , wherein the method is applied to at least one form of Assertion Based Verification (ABV).
5. The method of claim 1 , wherein the method is applied to at least one form of Assertion Based Verification (ABV). 6. The method of claim 5 , wherein the at least one form of Assertion Based Verification (ABV) includes at least one of formal verification, simulation and emulation.