Embedded System Design and Modeling

EE382V, Unique: 16985
Semester: Fall 2010

References

[1] International Technology Roadmap for Semiconductors (ITRS), "International Technology Roadmap for Semiconductors, 2007 Edition," 2007.

[2] D. D. Gajski, R. H. Kuhn, "New VLSI Tools," IEEE Computer, vol. 16, no. 12, pp. 11-14, December 1983.

[3] K. Keutzer, S. Malik, R. A. Newton, J. Rabaey, A. Sangiovanni-Vincentelli, "System-Level Design: Orthogonalization of Concerns and Platform-Based Design," IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), December 2000.

[4] D. Gajski, J. Zhu, and R. Doemer, "Essential Issues in Codesign," Technical Report ICS-97-26, University of California, Irvine, June 1997.

[5] R. Doemer, "The SpecC System-Level Design Language and Methodology, Part 1," Embedded Systems Conference, March 2002.

[6] R. Doemer, A. Gerstlauer, P. Kritzinger, M. Olivarez, "The SpecC System-Level Design Language and Methodology, Part 2," Embedded Systems Conference, March 2002.

[7] M. Olivarez, B. Bailey, "Smart Speed Technology: Results of Modeling for Embedded Applications," White Paper, Freescale Semiconductor, July 2007.

[8] W. Mueller, R. Dömer, A. Gerstlauer, "The Formal Execution Semantics of SpecC," International Symposium on System Synthesis (ISSS), October 2002.

[9] L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, "Models of Computation for Embedded System Design," in System-Level Synthesis, edited by A. Jerraya and J. Mermet, pp. 45-102, 1999.

[10] E. A. Lee, "The Problem with Threads," IEEE Computer, vol. 39, no. 5, pp. 33-42, May 2006.

[11] G. Kahn, "The Semantics of a Simple Language for Parallel Programming," IFIP Congress on Information Processing, August 1974.

[12] T. M. Parks, Bounded Scheduling of Process Networks, Ph.D. dissertation, EECS, UC Berkeley, December 1995.

[13] E. A. Lee and D. G. Messerschmitt, "Synchronous Data Flow," Proceedings of the IEEE, vol. 75, no. 9, pp. 1235-1245, September 1987.

[14] D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, no. 2, pp. 231-274, June 1987.

[15] F. Vahid, S. Narayan, D. Gajski, "SpecCharts: A VHDL Front-End for Embedded Systems," IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), June 1995.

[16] L. Cai, D. Gajski, "Transaction Level Modeling: An Overview," International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), October 2003.

[17] R. Doemer, A. Gerstlauer, J. Peng, D. Shin, L. Cai, H. Yu, S. Abdi, D. Gajski, "System-on-Chip Environment: A SpecC-Based Framework for Heterogeneous MPSoC Design," EURASIP Journal on Embedded Systems (JES), 2008.

[18] L. Cai, A. Gerstlauer, D. Gajski, "Retargetable Profiling for Rapid, Early System-Level Design Space Exploration," Design Automation Conference (DAC), June 2004.

[19] G. Schirner, A. Gerstlauer, R. Doemer, "Fast and Accurate Processor Models for Efficient MPSoC Design," ACM Transaction on Design Automation of Embedded Systems (TODAES), 2009.

[20] A. Gerstlauer, H. Yu, D. Gajski, "RTOS Modeling for System-Level Design," Design, Automation and Test in Europe (DATE), March 2003.

[21] Y. Hwang, S. Abdi, D. Gajski, "Cycle Approximate Retargetable Performance Estimation at the Transaction Level," Design, Automation and Test in Europe (DATE), March 2008.

[22] A. Gerstlauer, D. Shin, J. Peng, R. Doemer, D. Gajski, "Automatic, Layer-based Generation of System-On-Chip Bus Communication Models," IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), vol. 26, no. 9, pp. 1676-1687, September 2007.
[23] G. Schirner, R. Dömer: "Quantitative Analysis of the Speed/Accuracy Trade-off in Transaction Level Modeling", ACM Transactions on Embedded Computing Systems (TECS), vol. 8, no. 1, pp. 4:1-4:29, December 2008.

[24] G. Schirner, R. Dömer: "Result Oriented Modeling - A Novel Technique for Fast and Accurate TLM", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 26, no. 9, pp. 1688-1699, September 2007.

[25] L. Cai, S. Verma, D. Gajski, "Comparison of SpecC and SystemC Languages for System Design," Technical Report CECS-TR-03-11, University of California, Irvine, May 2003.

[26] B. Vanthournout, "An Insider's View on the Making of the New TLM-2.0 Standard," Open SystemC Initiative (OSCI), June 2008.

[27] A. Gerstlauer, Host-Compiled Simulation of Multi-Core Platforms, International Symposium on Rapid System Prototyping (RSP), June 2010.

[28] L. Thiele, E. Wandeler, "Performance Analysis of Distributed Embedded Systems," Embedded Systems Handbook, 2005.

[29] M. Gries, "Methods for Evaluating and Covering the Design Space During Early Design Development," Integration VLSI Journal, vol. 38, no. 2, pp. 131-183, December 2004.

[30] A. Gerstlauer, C. Haubelt, A. Pimentel, T. Stefanov, D. Gajski, J. Teich, "Electronic System-Level Synthesis Methodologies," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 28, no. 10, pp. 1517-1530, October 2009.

[31] A. Gerstlauer, J. Peng, D. Shin, D. Gajski, A. Nakamura, D. Araki, Y. Nishihara, "Specify-Explore-Refine (SER): From Specification to Implementation," Design Automation Conference (DAC), July 2008.

Additional references and documents are available for download on the class' Electronic Reserves page at the UT libraries.

Projects

Previous projects resulting from this class
1. A. Pedram, D. Craven, T. Amimeur, "Modeling Cache Effects at the Transaction Level," International Embedded Systems Symposium (IESS), Langenargen, Germany, September 2009. (best paper runner-up)
2. A. Banerjee, "Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices," International Embedded Systems Symposium (IESS), Langenargen, Germany, September 2009.
Publications resulting from projects in other classes (with often significant additional effort):
1. G. E. Allen and B. L. Evans, "Real-Time Sonar Beamforming on Workstations Using Process Networks and POSIX Threads," IEEE Transactions on Signal Processing, vol. 48, no. 3, pp. 921-926, March 2000.
2. G. E. Allen, P. E. Zucknick and B. L. Evans, "A Distributed Deadlock Detection and Resolution Algorithm for Process Networks," IEEE Int. Conference on Acoustics, Speech, and Signal Processing, Honolulu, HI, April 2007.
Project guidelines and ideas from Prof. Evans' Embedded Software class.

Documentation

SpecC Environment Setup instructions
SpecC Language Reference Manual, Version 2.0
SpecC Modeling Guidelines
Debugging and Tracing of SpecC Designs
System-On-Chip Environment (SCE) Setup instructions
System-On-Chip Environment (SCE Version 2.2.0 Beta): Tutorial
- Errata for SCE Tutorial
- Report on Design of a GSM Vocoder using SpecC Methodology
SCE Specification Model Reference Manual
Design of a MP3 Decoder using the System-On-Chip Environment (SCE)
SystemC Environment Setup instructions
A SystemC Quick Reference card and a SystemC Quick Reference Guide
IEEE Standard SystemC^® Language Reference Manual
SystemC Training from Doulos (includes a brief SystemC Tutorial)
SystemC 2.0 Tutorial with emphasis on new features in Version 2.0 of the language
Online SystemC Training Course from Forte Design Systems (makers of hardware synthesis tools)
Another SystemC Tutorial: Part 1 and Part 2
OSCI SystemC TLM-2.0 Standards
TLM-2.0 in Action online video tutorial
Getting Started with SystemC TLM-2.0 from Doulos

Related Courses

http://www.ece.utexas.edu/~gerstl/ee382v_f10

[1]	International Technology Roadmap for Semiconductors (ITRS), "International Technology Roadmap for Semiconductors, 2007 Edition," 2007.
[2]	D. D. Gajski, R. H. Kuhn, "New VLSI Tools," IEEE Computer, vol. 16, no. 12, pp. 11-14, December 1983.
[3]	K. Keutzer, S. Malik, R. A. Newton, J. Rabaey, A. Sangiovanni-Vincentelli, "System-Level Design: Orthogonalization of Concerns and Platform-Based Design," IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), December 2000.
[4]	D. Gajski, J. Zhu, and R. Doemer, "Essential Issues in Codesign," Technical Report ICS-97-26, University of California, Irvine, June 1997.
[5]	R. Doemer, "The SpecC System-Level Design Language and Methodology, Part 1," Embedded Systems Conference, March 2002.
[6]	R. Doemer, A. Gerstlauer, P. Kritzinger, M. Olivarez, "The SpecC System-Level Design Language and Methodology, Part 2," Embedded Systems Conference, March 2002.
[7]	M. Olivarez, B. Bailey, "Smart Speed Technology: Results of Modeling for Embedded Applications," White Paper, Freescale Semiconductor, July 2007.
[8]	W. Mueller, R. Dömer, A. Gerstlauer, "The Formal Execution Semantics of SpecC," International Symposium on System Synthesis (ISSS), October 2002.
[9]	L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, "Models of Computation for Embedded System Design," in System-Level Synthesis, edited by A. Jerraya and J. Mermet, pp. 45-102, 1999.
[10]	E. A. Lee, "The Problem with Threads," IEEE Computer, vol. 39, no. 5, pp. 33-42, May 2006.
[11]	G. Kahn, "The Semantics of a Simple Language for Parallel Programming," IFIP Congress on Information Processing, August 1974.
[12]	T. M. Parks, Bounded Scheduling of Process Networks, Ph.D. dissertation, EECS, UC Berkeley, December 1995.
[13]	E. A. Lee and D. G. Messerschmitt, "Synchronous Data Flow," Proceedings of the IEEE, vol. 75, no. 9, pp. 1235-1245, September 1987.
[14]	D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, no. 2, pp. 231-274, June 1987.
[15]	F. Vahid, S. Narayan, D. Gajski, "SpecCharts: A VHDL Front-End for Embedded Systems," IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), June 1995.
[16]	L. Cai, D. Gajski, "Transaction Level Modeling: An Overview," International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), October 2003.
[17]	R. Doemer, A. Gerstlauer, J. Peng, D. Shin, L. Cai, H. Yu, S. Abdi, D. Gajski, "System-on-Chip Environment: A SpecC-Based Framework for Heterogeneous MPSoC Design," EURASIP Journal on Embedded Systems (JES), 2008.
[18]	L. Cai, A. Gerstlauer, D. Gajski, "Retargetable Profiling for Rapid, Early System-Level Design Space Exploration," Design Automation Conference (DAC), June 2004.
[19]	G. Schirner, A. Gerstlauer, R. Doemer, "Fast and Accurate Processor Models for Efficient MPSoC Design," ACM Transaction on Design Automation of Embedded Systems (TODAES), 2009.
[20]	A. Gerstlauer, H. Yu, D. Gajski, "RTOS Modeling for System-Level Design," Design, Automation and Test in Europe (DATE), March 2003.
[21]	Y. Hwang, S. Abdi, D. Gajski, "Cycle Approximate Retargetable Performance Estimation at the Transaction Level," Design, Automation and Test in Europe (DATE), March 2008.
[22]	A. Gerstlauer, D. Shin, J. Peng, R. Doemer, D. Gajski, "Automatic, Layer-based Generation of System-On-Chip Bus Communication Models," IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), vol. 26, no. 9, pp. 1676-1687, September 2007.
[23]	G. Schirner, R. Dömer: "Quantitative Analysis of the Speed/Accuracy Trade-off in Transaction Level Modeling", ACM Transactions on Embedded Computing Systems (TECS), vol. 8, no. 1, pp. 4:1-4:29, December 2008.
[24]	G. Schirner, R. Dömer: "Result Oriented Modeling - A Novel Technique for Fast and Accurate TLM", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 26, no. 9, pp. 1688-1699, September 2007.
[25]	L. Cai, S. Verma, D. Gajski, "Comparison of SpecC and SystemC Languages for System Design," Technical Report CECS-TR-03-11, University of California, Irvine, May 2003.
[26]	B. Vanthournout, "An Insider's View on the Making of the New TLM-2.0 Standard," Open SystemC Initiative (OSCI), June 2008.
[27]	A. Gerstlauer, Host-Compiled Simulation of Multi-Core Platforms, International Symposium on Rapid System Prototyping (RSP), June 2010.
[28]	L. Thiele, E. Wandeler, "Performance Analysis of Distributed Embedded Systems," Embedded Systems Handbook, 2005.
[29]	M. Gries, "Methods for Evaluating and Covering the Design Space During Early Design Development," Integration VLSI Journal, vol. 38, no. 2, pp. 131-183, December 2004.
[30]	A. Gerstlauer, C. Haubelt, A. Pimentel, T. Stefanov, D. Gajski, J. Teich, "Electronic System-Level Synthesis Methodologies," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 28, no. 10, pp. 1517-1530, October 2009.
[31]	A. Gerstlauer, J. Peng, D. Shin, D. Gajski, A. Nakamura, D. Araki, Y. Nishihara, "Specify-Explore-Refine (SER): From Specification to Implementation," Design Automation Conference (DAC), July 2008.