Search results for "equivalence checking" | NDL Search

Search results 1

Group by title

Digital文書・図像類

松永, 裕介電子情報通信学会CPSY研究会2002-11電子情報通信学会技術研究報告, CPSY2002-63(2002-11)p.73-78

Available onlineOther Libraries in Japan

Summary, etc....較解析を行なう． While equivalence checking for combinatio......aper describes equivalence checking algorithms utilizing such str...
Subject Heading形式的検証等価性検証二分決定グラフ formal verification equivalence checking BDDs
Alternative TitleOn acceleration methods of equivalence checking

Reached to the end of result.

RSS