IEEE P1647/D3, April 2019
IEEE 承認の機能検証言語標準

規格番号

IEEE P1647/D3, April 2019

制定年

2019

出版団体

Institute of Electrical and Electronics Engineers (IEEE)

範囲

機能検証言語は、仕様に従ってハードウェアまたはソフトウェアの設計を検証するタスクを自動化することを目的とした、アプリケーション固有のプログラミング言語です。 e で記述された検証環境は、設計が耐える必要がある誤った条件の種類など、設計が機能すると予想される環境のモデルを提供します。 典型的なv...