Youpyo Hong, Peter Beerel, Luciano Lavagno, Ellen Sentovich  Home/Search
Context Related
| herkules.informatik.tuchemn...31_2.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: herkules.informatik.tuc...dacabs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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