JasperがLPDDR1,LPDDR2,DDR3のフォーマル検証用キットをリリース

2010年2月21日、フォーマル検証ツールを手掛ける米Jasper Design Automation社は、LPDDR1、LPDDR2およびDDR3 SDRAM向けのフォーマル検証用「Proof kit」のリリースを発表した。

プレスリリース文

JasperがリリースしたProof kitは、JEDECの標準規格に則ったインタフェエース・プロトコルを検証するためのプロパティ・セットで、SystemVerilogで記述されたプロパティとJasperGoldで利用可能な検証プランが含まれている。

これらキットは、低電力ニーズによって需要が拡大しているLPDDRのユーザーをターゲットとしたもので、Jasperでは今後も同種のキットを増やしていく計画だという。

尚、LPDDR1、LPDDR2およびDDR3 SDRAMの各「Proof kit」は、「Jasper Formal Testplanner」の一部として提供されるもので、「Jasper Formal Testplanner」のユーザーは追加費用を負担することなく同キットを利用できる。

※Jasper Design Automation社