この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Property Specification Language" – ニュース ·書籍 ·スカラー ·CiNii ·J-STAGE ·NDL ·dlib.jp ·ジャパンサーチ ·TWL(2025年11月)

Property Specification Language（特性仕様言語、PSL と略記）とは、ハードウェア設計におけるプロパティ（特性）や表明を記述する言語として標準化団体Accelleraが開発したものである。これにより、プロパティをシミュレートしたり形式的に検証したりできる。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）

• IEEE 1850 working group
• IEEE Announcement September 2005
• Accellera
• The PSL/Sugar Consortium
• Designers guide to PSL

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

• 表示
• 編集

• ハードウェア記述言語
• 形式仕様記述言語

• 出典を必要とする記事/2025年11月
• すべてのスタブ記事
• コンピュータ関連のスタブ項目