| http://www.w3.org/ns/prov#value | - The system of claim 14, wherein subsequent to said initialization, said verification software applies a test case to said design, said test case including instructions invoking said processor driver to perform said processor-specific operations.
|
