Boolean resubstitution with permissible functions and binary decision diagrams

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

17 被引用数 (Scopus)

抄録

A new Boolean resubstitution technique with permissible functions and ordered binary decision diagrams (OBDDs) is presented. Boolean resubstitution is one technique for multilevel logic optimization. Permissible functions are special don't care sets. The data structure of permissible functions and logic functions at each node in Boolean networks is represented in terms of OBDD. Therefore, logic functions can be flexibly manipulated and rapidly executed. Boolean resubstitution was also applied to a multilevel logic synthesis. Results of experiments employing the improved OBDD operation and Boolean resubstitution techniques are presented.

本文言語英語
ホスト出版物のタイトル27th ACM/IEEE Design Automation Conference. Proceedings 1990
出版社Publ by IEEE
ページ284-289
ページ数6
ISBN(印刷版)081869650X
DOI
出版ステータス出版済み - 1990
外部発表はい
イベント27th ACM/IEEE Design Automation Conference - Orlando, FL, USA
継続期間: 6月 24 19906月 28 1990

出版物シリーズ

名前27th ACM/IEEE Design Automation Conference. Proceedings 1990

その他

その他27th ACM/IEEE Design Automation Conference
CityOrlando, FL, USA
Period6/24/906/28/90

!!!All Science Journal Classification (ASJC) codes

  • 工学(全般)

フィンガープリント

「Boolean resubstitution with permissible functions and binary decision diagrams」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル