NEWS
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」のユーザーは追加費用を負担することなく同キットを利用できる。
｜ページの先頭へ｜