等価検証の効率化に関する一考察

Related materials as well as pre- and post-revision versions

電子情報通信学会技術研究報告, CPSY2002-63(2002-11) || || p73-78

IEICE Technical Report, CPSY2002-63(2002-11) || || p73-78

http://www.c.csce.kyushu-u.ac.jp/SOC/index_j.html

Detailed bibliographic record

Summary, etc.：: 組合わせ回路の等価検証問題はNP 完全問題であることが知られているが，実際の設計においては構造の似通った2 つの回路が等価かどうかを比較する場合が多く見られる．本稿ではそのような構造の類似性を利用して高速に等価性判定を行なうアルゴリズムについて述べ，前向き走査と後ろ向き走査という効率化手法に関す...

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Kyushu University Institutional Repository
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
Kyushu University Institutional Repository

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 文書・図像類
Title: 等価検証の効率化に関する一考察
Author/Editor: 松永, 裕介
Author Heading: 松永, 裕介マツナガ, ユウスケ
Publication, Distribution, etc.: 電子情報通信学会CPSY研究会
Publication Date: 2002-11
Publication Date (W3CDTF): 2002-11
Alternative Title: On acceleration methods of equivalence checking
Periodical title: 電子情報通信学会技術研究報告, CPSY2002-63(2002-11)
Pages: 73-78
Text Language Code: jpn
Subject Heading: 形式的検証
等価性検証
二分決定グラフ
formal verification
equivalence checking
BDDs
Target Audience: 一般
Access Restrictions: インターネット公開
Related Material: 電子情報通信学会技術研究報告, CPSY2002-63(2002-11) || || p73-78
IEICE Technical Report, CPSY2002-63(2002-11) || || p73-78
http://www.c.csce.kyushu-u.ac.jp/SOC/index_j.html
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 九州大学 : 九州大学学術情報リポジトリ