| http://www.w3.org/ns/prov#value | - These assertions are designated in a manner similar to that for PGAs, are stored with the other data in file 12, and include, for example, assertions such as the following: power consumption of the entity, area or volume estimate required in a physical package to implement the circuitry corresponding to the entity, maximum fanout of an entity, and timing path information.
|