Boolean resubstitution with permissible functions and binary decision diagrams

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publication27th ACM/IEEE Design Automation Conference. Proceedings 1990
PublisherPubl by IEEE
Pages284-289
Number of pages6
ISBN (Print)081869650X
Publication statusPublished - Dec 1 1990
Externally publishedYes
Event27th ACM/IEEE Design Automation Conference - Orlando, FL, USA
Duration: Jun 24 1990Jun 28 1990

Publication series

Name27th ACM/IEEE Design Automation Conference. Proceedings 1990

Other

Other27th ACM/IEEE Design Automation Conference
CityOrlando, FL, USA
Period6/24/906/28/90

Fingerprint

Binary decision diagrams
Data structures
Experiments

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Sato, H., Yasue, Y., Matsunaga, Y., & Fujita, M. (1990). Boolean resubstitution with permissible functions and binary decision diagrams. In 27th ACM/IEEE Design Automation Conference. Proceedings 1990 (pp. 284-289). (27th ACM/IEEE Design Automation Conference. Proceedings 1990). Publ by IEEE.

Boolean resubstitution with permissible functions and binary decision diagrams. / Sato, Hitomi; Yasue, Yoshihiro; Matsunaga, Yusuke; Fujita, Masahiro.

27th ACM/IEEE Design Automation Conference. Proceedings 1990. Publ by IEEE, 1990. p. 284-289 (27th ACM/IEEE Design Automation Conference. Proceedings 1990).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sato, H, Yasue, Y, Matsunaga, Y & Fujita, M 1990, Boolean resubstitution with permissible functions and binary decision diagrams. in 27th ACM/IEEE Design Automation Conference. Proceedings 1990. 27th ACM/IEEE Design Automation Conference. Proceedings 1990, Publ by IEEE, pp. 284-289, 27th ACM/IEEE Design Automation Conference, Orlando, FL, USA, 6/24/90.
Sato H, Yasue Y, Matsunaga Y, Fujita M. Boolean resubstitution with permissible functions and binary decision diagrams. In 27th ACM/IEEE Design Automation Conference. Proceedings 1990. Publ by IEEE. 1990. p. 284-289. (27th ACM/IEEE Design Automation Conference. Proceedings 1990).
Sato, Hitomi ; Yasue, Yoshihiro ; Matsunaga, Yusuke ; Fujita, Masahiro. / Boolean resubstitution with permissible functions and binary decision diagrams. 27th ACM/IEEE Design Automation Conference. Proceedings 1990. Publ by IEEE, 1990. pp. 284-289 (27th ACM/IEEE Design Automation Conference. Proceedings 1990).
@inproceedings{868ae64477c44f9da6174da9b4d4d179,
title = "Boolean resubstitution with permissible functions and binary decision diagrams",
abstract = "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.",
author = "Hitomi Sato and Yoshihiro Yasue and Yusuke Matsunaga and Masahiro Fujita",
year = "1990",
month = "12",
day = "1",
language = "English",
isbn = "081869650X",
series = "27th ACM/IEEE Design Automation Conference. Proceedings 1990",
publisher = "Publ by IEEE",
pages = "284--289",
booktitle = "27th ACM/IEEE Design Automation Conference. Proceedings 1990",

}

TY - GEN

T1 - Boolean resubstitution with permissible functions and binary decision diagrams

AU - Sato, Hitomi

AU - Yasue, Yoshihiro

AU - Matsunaga, Yusuke

AU - Fujita, Masahiro

PY - 1990/12/1

Y1 - 1990/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025557062&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025557062&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0025557062

SN - 081869650X

T3 - 27th ACM/IEEE Design Automation Conference. Proceedings 1990

SP - 284

EP - 289

BT - 27th ACM/IEEE Design Automation Conference. Proceedings 1990

PB - Publ by IEEE

ER -