Juniper NetworksがJasperのフォーマル検証ツールを社内設計/検証フローに採用

2012年2月7日、フォーマル検証ツールを手掛ける米Jasper Design Automation社は、同社のフォーマル検証ツールをネットワーク・ソリューション大手のJuniper Networksが採用した事を発表した。

発表によるとJuniper Networksは、Jasperのフォーマル検証ツール「JasperGold」を社内の設計および検証フローに採用。Juniper Networksは「JasperGold」の利用が品質改善に繋がる事を早々に認め、すぐにプロパティを用いた「JasperGold」ベースのフォーマル検証手法を実践した。デザイン・サイクルの初期段階でRTLを視覚化できる点、テストベンチを必要とせずに検証できる点が採用に当たっての鍵となったようだ。