| http://www.w3.org/ns/prov#value | - a. processing the RTL description to determine for each internal signal of the circuit described by the RTL description, a logical relationship between the internal signal and other signals of the circuit described by the RTL description, wherein the internal signals comprise all signals other than input and output signals of the circuit and other than input and output signals of memory devices in
|
