@inproceedings{88c38a2b874d4cd6854252589f6956b6,
title = "Don't care-based BDD minimization for embedded software",
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.",
author = "Youpyo Hong and Beerel, {Peter A.} and Luciano Lavagno and Sentovich, {Ellen M.}",
note = "Publisher Copyright: {\textcopyright} 1998 ACM.; 35th Design and Automation Conference, DAC 1998 ; Conference date: 15-06-1998 Through 19-06-1998",
year = "1998",
doi = "10.1145/277044.277183",
language = "English",
isbn = "078034409X",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "506--509",
booktitle = "Proceedings 1998 - Design and Automation Conference, DAC 1998",
address = "United States",
}