米Jasper Design Automation社は、低電力設計の検証に特化したフォーマル・ベリファイア「JasperGold Low Power Verification App」（以下、JG-LPV App）を発表した。用途や目的を絞ったフォーマル・ベリファイア群「JasperGold Apps」の新製品である。
この記事は会員登録で続きをご覧いただけます
-
会員の方はこちら
ログイン -
登録するとマイページが使えます
今すぐ会員登録（無料）
日経クロステックからのお薦め
渾身の記事を直接お届け、2月24日に新サービス「フカメル」開始
9つの世界初を成し遂げた小惑星探査機「はやぶさ2」を深掘りする。裏側には、未踏に挑んだ10人のスペシャリストがいた。とっておきの10の物語を通して、「チームはやぶさ2」が奇跡を成し遂げた理由に迫る。
