PSLとは
PSLは、形式仕様 / HDLに分類される形式手法・仕様記述向けの言語または記法です。Property Specification Languageとして知られており、用途や関連ツールを探す入口になります。
| 項目 | 内容 |
|---|---|
| 名称 | PSL |
| 分類 | 形式仕様 / HDL |
| カテゴリ | ハードウェア・EDA・制御 |
| 主な用途 | 形式仕様 / HDL / ハードウェア・EDA・制御 |
| 状態 | 参考情報少なめ |
読むポイント
Section titled “読むポイント”- どの製品、仕様、ツール、教材の文脈で登場する名前かを見る
- 現在使うものか、古いコードや資料を読むためのものかを切り分ける
- 公式サイト、仕様書、実装例、パッケージ情報がある場合はそこから読み始める
公式・参照情報
Section titled “公式・参照情報”- 公式URL: 現行の公式サイトは確認できていません
- 参照: 一次資料候補（確認待ち）