IEC 62531:2012*IEEE Std 1850:2010
IEC 62531:2012(E) (IEEE Std 1850-2010): プロパティ仕様言語 (PSL) 標準レッドライン

規格番号

IEC 62531:2012*IEEE Std 1850:2010

制定年

2012

出版団体

Institute of Electrical and Electronics Engineers (IEEE)

最新版

IEC 62531:2012*IEEE Std 1850:2010

範囲

IEEE プロパティ仕様言語 (PSL) が定義されています。 PSL は電子システムの動作仕様の正式な表記法であり、IEEE Std 1076 (VHDL)、IEEE Std 1354 (Verilog)、IEEE Std 1666 ( SystemC)、IEEE Std 1800 (SystemVerilog) を採用し、多言語および混合言語の共通の仕様と検証フローを実現します。

IEC 62531:2012*IEEE Std 1850:2010 発売履歴

• 2012 IEC 62531:2012*IEEE Std 1850:2010 IEC 62531:2012(E) (IEEE Std 1850-2010): プロパティ仕様言語 (PSL) 標準レッドライン
• 2007 IEC 62531:2007 プロパティ仕様言語 (PSL) の標準