Zero-suppressed BDDs and their applications

Minato, Shin-ichi

International Journal on Software Tools for Technology Transfer, 2001, 3(2), 156-170

Permalink : https://hdl.handle.net/2115/16895

このアイテムのアクセス数:1,546件（2026-03-06 01:59 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
IJSTTT3-2	pdf	340 KB	6,337

アクセス権	open access
URI	https://hdl.handle.net/2115/16895
タイトル	Zero-suppressed BDDs and their applications
著者	e-Rad_Researcher 10374612 著者名 Minato, Shin-ichi
言語	英語
キーワード	BDD
	ZBDD
	Boolean function
	VLSI CAD
	Combinatorial problem
発行日	2001-05
出版者	Springer Berlin / Heidelberg
収録物名	International Journal on Software Tools for Technology Transfer
巻(号)	3(2)
ページ	156-170
抄録	In many real-life problems, we are often faced with manipulating sets of combinations. In this article, we study a special type of ordered binary decision diagram (OBDD), called zero-suppressed BDDs (ZBDDs). This data structure represents sets of combinations more efficiently than using original OBDDs. We discuss the basic data structures and algorithms for manipulating ZBDDs in contrast with the original OBDDs. We also present some practical applications of ZBDDs, such as solving combinatorial problems with unate cube set algebra, logic synthesis methods, Petri net processing, etc. We show that a ZBDD is a useful option in OBDD techniques, suitable for a part of the practical applications.
資源タイプ	学術雑誌論文
出版タイプ	Accepted Manuscript
権利情報	The original publication is available at www.springerlink.com
PISSN	1433-2779
EISSN	1433-2787
関連情報	URI http://www.springerlink.com