equivalence checkとは 意味・読み方・使い方

METHOD, DEVICE AND PROGRAM FOR ANONYMITY CHECK USING ROLE EXCHANGEABILITY BASED ON TRACE EQUIVALENCE例文帳に追加

トレース等価性を基準とした役割交換可能性を用いた匿名性検査方法、その装置、そのプログラム - 特許庁

To provide a logic synthesis method that can shorten the execution time and check time of logic resynthesis and logical equivalence reverification.例文帳に追加

再論理合成及び再論理等価検証の実行時間及び確認時間を短縮することが可能な論理合成方法等を提供する。 - 特許庁

Then stored information is used to compare cones before and after the logic composition and make cones correspond to each other and the equivalence of logic is examined for every cone which are made to correspond by comparing Boolean expressions as the additional information and racing check cone information.例文帳に追加

次に、記憶情報により論理合成前後のコーンを比較しコーンの対応付けを行い、対応付けられたコーン毎、付加情報であるブール式やレーシングチェックコーン情報比較により、論理の等価性を検証する。 - 特許庁