摘要 |
A method of verifying event handling for a device under test comprised of hardware description language logic within a verification environment can include, for each trigger specified by the verification environment, creating an associated thread within the verification environment. The method also can include defining a time span during which event handling within a device under test is to be performed responsive to each trigger and determining whether event handling for each trigger is performed within the time span associated with that trigger. Event handling for each trigger can be monitored by the thread associated with that trigger. The method further can include indicating triggers that were not handled by the device under test.
|