prov:value
| - The verification environment 102, DUT 104, and functional verification manager 106 may, in one embodiment, be software and/or state machines implemented on one or more of any type of computer system, including servers, personal computers, workstations, mainframe computers, notebook or laptop computers, desktop computers, or the like.
|