| http://www.w3.org/ns/prov#value | - That is to say, it is also possible that the transfer simulation is necessarily carried out for a portion corresponding to a critical path of a circuit, and the normal verification processing is executed for any other region other than a region corresponding to that portion.
|
