| http://www.w3.org/ns/prov#value | - The present invention relates to digital systems, and, more particularly to an apparatus and method for verifying the behavior of a digital system, where the digital system can exhibit several differing but valid behaviors from the same input vector.
|
