IEEE 1647/D3, April 2016
IEEE が承認した機能検証言語の標準草案

規格番号

IEEE 1647/D3, April 2016

制定年

2016

出版団体

Institute of Electrical and Electronics Engineers (IEEE)

範囲

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