See this document in CiteSeerX!

Don't care-based BDD Minimization for Embedded Software (1998)  (Make Corrections)  (1 citation)
Youpyo Hong, Peter Beerel, Luciano Lavagno, Ellen Sentovich
Design Automation Conference



  Home/Search   Context   Related

 
View or download:
herkules.informatik.tuchemn...31_2.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  herkules.informatik.tuc...dacabs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper explores the use of don't cares in software synthesis for embedded systems. Embedded systems have extremely tight realtime 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... (Update)

Cited by:   More
Sibling-Substitution-Based BDD Minimization Using Don't.. - Hong, Beerel, Burch.. (2000)   (Correct)

Active bibliography (related documents):   More   All
0.5:   The Esterel v5 Language Primer - Version 5.21 release 2.0 - Berry (1999)   (Correct)
0.2:   Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997)   (Correct)
0.1:   BDD Representation for Incompletely Specified.. - Tsutomu Sasao And (2005)   (Correct)

Similar documents based on text:   More   All
0.6:   ECL: A Specification Environment for System-Level Design - Lavagno, Sentovich   (Correct)
0.3:   Formal Models for Communication-based Design - Sangiovanni-Vincentelli.. (2000)   (Correct)
0.2:   Formal Verification of an Automotive Engine.. - Villa, Wong-Toi.. (1998)   (Correct)

BibTeX entry:   (Update)

Y. Hong, P. A. Beerel, L. Lavagno, and E. M. Sentovich, "Don't carebased BDD minimization for embedded software," in Proc. Design Automation Conf., 1998, pp. 506--509. http://citeseer.ist.psu.edu/hong98dont.html   More

@inproceedings{ hong98dont,
    author = "Youpyo Hong and Peter A. Beerel and Luciano Lavagno and Ellen Sentovich",
    title = "Don't Care-Based {BDD} Minimization for Embedded Software",
    booktitle = "Design Automation Conference",
    pages = "506-509",
    year = "1998",
    url = "citeseer.ist.psu.edu/hong98dont.html" }
Citations (may not include all citations):
1726   Graph-Based Algorithms for Boolean Function Manipulation - Bryant - 1986
866   Techniques and Tools (context) - Aho, Sethi et al. - 1988
275   Dynamic Variable Ordering for Ordered Binary Decision Diagra.. (context) - Rudell - 1993
211   The Synchronous Approach to Reactive and Real-time Systems (context) - Berry, Couronn et al. - 1991
161   Hardware-Software Co-design of Embedded Systems - The POLIS .. (context) - Balarin - 1997
151   Sequential Circuit Design Using Synthesis and Optimization (context) - Sentovich - 1992
108   Verification of Synchronous Sequential Machines Based on Sym.. (context) - Coudert, Berthet et al. - 1989
60   The Constructive Semantics of Pure Esterel - Berry - 1996
47   Software Scheduling in the Co-synthesis of Reactive Real-tim.. - Chou, Borriello - 1994
46   Heuristic Minimization of BDDs Using Don't Cares - Shiple, Hojati et al.
42   Program Implementation Schemes for Hardware-software Systems - Gupta, Jr et al. - 1994
39   Telecommunications Systems Engineering Using SDL (context) - Saracco, Smith et al. - 1989
24   Logic Synthesis (context) - Devadas, Ghosh et al. - 1994
22   Minimizing ROBDD Size of Incompletely Specified Multiple Out.. (context) - Chang, Cheng et al. - 1994
18   the Complexity of Minimizing the OBDD Size for Incompletely .. - Sauerhoff, Wegener - 1996
15   Analysis and Synthesis of Concurrent Digital Circuits using .. (context) - Coelho, De Micheli - 1996
15   Safe BDD Minimization Using Don't Cares - Hong, Beerel et al. - 1997
11   Synthesis of Software Programs from CFSM Specifications (context) - Chiodo - 1995
2   Efficient Latch Optimization Using Exclusive Sets - Sentovich, Toma et al. - 1997
1   Minimization of BDDs by Evolutionaly Algorithms (context) - Drechsler, Gockel - 1997
1   Code Generation Techniques in the Block Diagram Oriented Des.. (context) - Ritz - 1994

Documents on the same site (http://herkules.informatik.tu-chemnitz.de/proceedings/dac-98/sun_sgi/dacabs.htm):   More
Efficient Coloring of a Large Spectrum of Graphs - Kirovski, Potkonjak (1998)   (Correct)
Validation with Guided Search of the State Space - Yang, Dill (1998)   (Correct)
Power Optimization of Variable Voltage Core-Based Systems - Hong, Kirovski, Qu.. (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC