Symbolic system synthesis in the presence of stringent real-time constraints

Proceedings - Design Automation Conference

Volumn , Issue , 2011, Pages 393-398

  Reimann, Felix ^a   Lukasiewycz, Martin ^b   Glass, Michael ^a   Haubelt, Christian ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Algorithms; Design

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; DESIGN; LEAD COMPOUNDS;

AUTOMOTIVE DOMAINS; BOOLEAN SATISFIABILITY; COMPLEX SEARCH SPACES; CONSTRAINT VIOLATION; ITS EFFICIENCIES; ORDERS OF MAGNITUDE; REAL TIME CONSTRAINTS; STATE-OF-THE-ART APPROACH;

REAL TIME SYSTEMS;

EID: 80052678758     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2024724.2024817     Document Type: Conference Paper

References (12)

1. S. Chakraborty, S. Küunzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proc. of DATE'03, pages 190-195, 2003.
2. L. De Moura and N. Bjørner. Satis ability modulo theories: An appetizer. In Formal Methods: Foundations and Applications, pages 23-36. 2009.
3. R. Dömer, A. Gerstlauer, J. Peng, D. Shin, L. Cai, H. Yu, S. Abdi, and D. Gajski. System-on-Chip Environment: A SpecC-based Framework for Heterogeneous MPSoC Design. EURASIP J. on Embedded Systems, 2008(647953):13, 2008.
4. W. Haid and L. Thiele. Complex task activation schemes in system level performance analysis. In Proceedings of CODES+ISSS'07, pages 173-178. ACM, 2007.
5. C. Haubelt, J. Teich, R. Feldmann, and B. Monien. SAT-based techniques in system design. In Proc. of DAC '03, pages 1168-1169, 2003.
6. K. Keutzer, A. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli. System-Level Design: Orthogonalization of Concerns and Platform-Based Design. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 19(12):1523-1543, 2000. (Pubitemid 32870317)
7. S. Kwon, Y. Kim, W.-C. Jeun, S. Ha, and Y. Paek. A Retargetable Parallel Programming Framework for MPSoC. ACM Trans. Design Automation of Electronic Systems, 13(3), 2008.
8. M. Lukasiewycz, M. Glaß, C. Haubelt, J. Teich, R. Regler, and B. Lang. Concurrent topology and routing optimization in automotive network integration. In Proceedings of DAC'08, pages 626-629, June 2008.
9. S. Neema. System Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University, Nashville, Tennessee, May 2001.
10. R. Niemann and P. Marwedel. An algorithm for hardware/software partitioning using mixed Integer Linear Programming. Design Automation for Embedded Systems, 2(2):165-193, 1997. (Pubitemid 127506131)
11. H. Nikolov, M. Thompson, T. Stefanov, A. D. Pimentel, S. Polstra, R. Bose, C. Zissulescu, and E. F. Deprettere. Daedalus: Toward Composable Multimedia MP-SoC Design. In Proc. of DAC '08, pages 574-579, 2008.
12. F. Reimann, M. Glaß, C. Haubelt, M. Eberl, and J. Teich. Improving platform-based system synthesis by satisfiability modulo theories solving. In Proc. of CODES+ISSS'10, pages 135-144, Oct. 2010.