MAGNETIC LOGIC ELEMENT AND MAGNETIC LOGIC ELEMENT ARRAY 磁性体論理素子及び磁性体論理素子アレイ - 特許庁
In this logic verification method, a logic circuit A including an additional logic and a logic circuit B including no additional logic are inputted from the logic circuit files 104 and 105 as the logics which undergo the logic equivalence verification. 追加論理を含む論理回路Aと追加論理を含まない論理回路Bを、論理等価検証対象の論理として論理回路ファイル104、105から入力する。 - 特許庁
LOGIC VERIFICATION SYSTEM, LOGIC VERIFICATION METHOD, LOGIC VERIFICATION PROGRAM, AND RECORDING MEDIUM 論理検証装置、論理検証方法、論理検証プログラムおよび記録媒体 - 特許庁