About: http://webisa.webdatacommons.org/289850947

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	It is a procedural model often written using a higher level of abstraction in languages such as C, C++ or SystemC. Verification relies on two models being developed independently and being compared.
http://www.w3.org/ns/prov#wasQuotedFrom	eetimes.com