HTML Microdata document

This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n17	http://www.accellera.org/
dct	http://purl.org/dc/terms/
template-en	http://ja.dbpedia.org/resource/Template:
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-wikidata	http://wikidata.dbpedia.org/resource/
n18	http://www.doulos.com/knowhow/psl/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
n7	http://www.pslsugar.org/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n4	http://ja.dbpedia.org/resource/Category:
n19	http://standards.ieee.org/announcements/
n10	http://ja.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
n12	http://www.eda.org/
dbpedia-ja	http://ja.dbpedia.org/resource/
prop-en	http://ja.dbpedia.org/property/

Statements

Subject Item: dbpedia-wikidata:Q751505
owl:sameAs: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:PSL
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language
dbo:wikiPageDisambiguates: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:Property_Specification_Language
rdfs:label: Property Specification Language
rdfs:comment: Property Specification Language（特性仕様言語、PSL と略記）とは、ハードウェア設計におけるプロパティ（特性）や表明を記述する言語として標準化団体が開発したものである。これにより、プロパティをシミュレートしたり形式的に検証したりできる。2004年9月から、IEEE 1850 ワーキンググループがこの標準化を行ってきた。2005年9月、IEEE 1850 Standard for Property Specification Language (PSL) が発表された。 Property Specification Language は以下のような複数のハードウェア記述言語で使われることを目指している: * VHDL (IEEE 1076) * Verilog (IEEE 1364) * System Verilog (IEEE 1800) * SystemC （OSCI）
owl:sameAs: freebase:m.0398fx
dct:subject: n4:ハードウェア記述言語 n4:形式仕様記述言語
dbo:wikiPageID: 822100
dbo:wikiPageRevisionID: 81232561
dbo:wikiPageWikiLink: dbpedia-ja:System_Verilog n4:ハードウェア記述言語 dbpedia-ja:形式的検証 n4:形式仕様記述言語 dbpedia-ja:シミュレーション dbpedia-ja:2004年 dbpedia-ja:表明 dbpedia-ja:Verilog dbpedia-ja:2005年 dbpedia-ja:IEEE dbpedia-ja:VHDL dbpedia-ja:SystemC dbpedia-ja:Accellera dbpedia-ja:ハードウェア dbpedia-ja:ハードウェア記述言語 dbpedia-ja:標準化団体
dbo:wikiPageExternalLink: n7: n12:ieee-1850 n17: n18: n19:pr_1850psl.html
prop-en:wikiPageUsesTemplate: template-en:Computer-stub template-en:IEEE_standards
dbo:abstract: Property Specification Language（特性仕様言語、PSL と略記）とは、ハードウェア設計におけるプロパティ（特性）や表明を記述する言語として標準化団体が開発したものである。これにより、プロパティをシミュレートしたり形式的に検証したりできる。2004年9月から、IEEE 1850 ワーキンググループがこの標準化を行ってきた。2005年9月、IEEE 1850 Standard for Property Specification Language (PSL) が発表された。 Property Specification Language は以下のような複数のハードウェア記述言語で使われることを目指している: * VHDL (IEEE 1076) * Verilog (IEEE 1364) * System Verilog (IEEE 1800) * SystemC （OSCI）
dbo:wikiPageLength: 905
prov:wasDerivedFrom: n10:Property_Specification_Language?oldid=81232561&ns=0
foaf:isPrimaryTopicOf: n10:Property_Specification_Language

Subject Item: dbpedia-ja:SystemVerilog
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:Verilog
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:ハードウェア記述言語
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:形式的検証
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:時相論理
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language

Subject Item: dbpedia-ja:特性仕様言語
dbo:wikiPageWikiLink: dbpedia-ja:Property_Specification_Language
dbo:wikiPageRedirects: dbpedia-ja:Property_Specification_Language

Subject Item: n10:Property_Specification_Language
foaf:primaryTopic: dbpedia-ja:Property_Specification_Language