Don't care-based BDD minimization for embedded software

Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen M. Sentovich

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

This paper explores the use of don't cares in software synthesis for embedded systems. Embedded systems have extremely tight real-time and code/data size constraints, that make expensive optimizations desirable. We propose applying BDD minimization techniques in the presence of a don't care set to synthesize code for extended Finite State Machines from a BDD-based representation of the FSM transition function. The don't care set can be derived from local analysis (such as unused state codes or don't care inputs) as well as from external information (such as impossible input patterns). We show experimental results discuss their implications, the interaction between BDD-based minimization and dynamic variable reordering, and propose directions for future work.

Original languageEnglish
Title of host publicationProceedings 1998 - Design and Automation Conference, DAC 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages506-509
Number of pages4
ISBN (Print)078034409X
DOIs
StatePublished - 1998
Event35th Design and Automation Conference, DAC 1998 - San Francisco, United States
Duration: 15 Jun 199819 Jun 1998

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0738-100X

Conference

Conference35th Design and Automation Conference, DAC 1998
Country/TerritoryUnited States
CitySan Francisco
Period15/06/9819/06/98

Fingerprint

Dive into the research topics of 'Don't care-based BDD minimization for embedded software'. Together they form a unique fingerprint.

Cite this