Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms

Proceedings - IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures 2006

Volumn 2006, Issue , 2006, Pages 309-314

  Schlichter, Thomas ^a   Lukasiewycz, Martin ^a   Haubelt, Christian ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONFORMAL MAPPING; EVOLUTIONARY ALGORITHMS; HEURISTIC METHODS; OPTIMIZATION; RESOURCE ALLOCATION;

MULTI-OBJECTIVE EVOLUTIONARY ALGORITHMS; NP-COMPLETE TASKS; OPTIMAL MAPPINGS; SAT-SOLVERS;

SYSTEMS ANALYSIS;

EID: 33749353851     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISVLSI.2006.57     Document Type: Conference Paper

References (13)

1. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. Lecture Notes in Computer Science, 1579:193-207, 1999.
2. S. Bleuler, M. Laumanns, L. Thiele, and E. Zitzler. PISA - A Platform and Programming Language Independent Interface for Search Algorithms. In Lecture Notes in Computer Science (LNCS), volume 2632, pages 494-508, Faro, Portugal, Apr. 2003.
3. T. Blickle, J. Teich, and L. Thiele. System-Level Synthesis Using Evolutionary Algorithms. In R. Gupta, editor, Design Automation for Embedded Systems, 3, pages 23-62. Kluwer Academic Publishers, Boston, Jan. 1998.
4. M. Davis and H. Putnam. A computing procedure for quantification theory. J. Assoc. Comput. Mach., 7:201-215, 1960.
5. K. Deb. Multi-Objective Optimization using Evolutionary Algorithms. John Wiley & Sons, Ltd., Chichester, New York, Weinheim, Brisbane, Singapore, Toronto, 2001.
6. R. Feldmann, C. Haubelt, B. Monien, and J. Teich. Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. In P. Y. K. Cheung, G. A. Constantinides, and J. T. de Sousa, editors, Field-Programmable Logic and Applications, Lecture Notes in Computer Science (LNCS), volume 2778, pages 478-487, Berlin, Heidelberg, Sept. 2003. Springer.
7. C. Haubelt, S. Mostaghim, F. Slomka, J. Teich, and A. Tyagi. Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms. In R. Drechsler and N. Drechsler, editors, Evolutionary Algorithms for Embedded System Design, Genetic Algorithms and Evolutionary Computation (GENA), pages 63-104. Kluwer Academic Publishers, Boston, Dordrecht, London, 2003.
8. V. Kianzad and S. S. Bhattacharyya. CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems. In Proceedings of the 15th IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'04), pages 28-40, Galveston, U.S.A., Sept. 2004.
9. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an Efficient SAT Solver. In Proceedings of the 38th Design Automation Conference (DAC'01), 2001.
10. S. Neema. System Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University, Nashville, Tennessee, May 2001.
11. T. Schlichter, C. Haubelt, F. Hannig, and J. Teich. Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems. In Proceedings of Application-specific Systems, Architectures and Processors (ASAP), Samos, Greece, July 2005.
12. E. Zitzler, M. Laumanns, and L. Thiele. SPEA2: Improving the Strength Pareto Evolutionary Algorithm for Multiobjective Optimization. In Evolutionary Methods for Design, Optimisation, and Control, pages 19-26, Barcelona, Spain, 2002.
13. E. Zitzler, L. Thiele, M. Laumanns, C. M. Fonseca, and V. Grunert da Fonseca. Performance Assessment of Multiobjective Optimizers: An Analysis and Review. IEEE Transactions on Evolutionary Computation, 7(2): 117-132, Apr. 2003.