System-on-a-Chip (SoC) Design

Regular Graduate Program

EE382V, Unique: 17070
Semester: Fall 2012

Links

• Documentation
  • Various SoC articles
  • DRM information
  • Dream documentation
  • SystemC tutorials
     
• Other Classes
  • Mark McDermott's Advanced Embedded System Architecture class
  • Prof. Adnan's VLSI Communications class
     
• Useful Web Pages
  • Center for Electronics Systems Design at UC Berkeley:
    • Metropolis project
    • Giotto project
    • Alberto Sangiovanni-Vincentelli's website
  • Center for Embedded Computer Systems at UC Irvine
    • Technical reports
  • Embedded Systems and Software Group at UC San Diego
  • Center for Silicon System Implementation at CMU
     

References

• General
  • D. D. Gajski, S. Abdi, A. Gerstlauer, G. Schirner, Embedded System Design: Modeling, Synthesis, Verification, Springer, 2009.
  • F. Vahid, T. Givargis, Embedded System Design: A Unified Hardware/Software Introduction, John Wiley and Sons, 2002.
  • G. De Micheli (editor), Special Issue on Hardware/Software Co-design, Proceedings of IEEE, Vol 85, No. 3, March 1997.
  • D. D. Gajski, F. Vahid, S. Narayan, J. Gong, Specification and Design of Embedded Systems, Englewood Cliffs, NJ, 1994.
  • J. Staunstrup and W. Wolf (editors), Hardware/Software Co-Design: Principles and Practice, Kluwer Academic Publishers, 1997.
  • G. DeMicheli, R. Ernst, and W. Wolf (editors), Readings in Hardware/Software Co-Design, Academic Press, 2002.
  • F. Mayer-Lindenberg, Dedicated Digital Processors: Methods in Hardware/Software Co-design, John Wiley and Sons, 2004.
     
• Design of Embedded Systems
  • S. Edwards, L. Lavagno, E. Lee, A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Methods, Validation and Synthesis," Proceedings of the IEEE, vol. 85, no. 3, March 1997.
  • R. B. Ortega L. Lavagno, G. Borriello, "Models and Methods for HW/SW Intellectual Property Interfacing," 1998 NATO ASI Proceedings on System Synthesis, Il Ciocco, Italy, 1998.
  • J. Young, J. MacDonald, M. Shilman, A. Tabbara, P. Hilfinger and R. Newton, "Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement," Proceedings of Design Automation Conference, 1998.
     
• Architecture
  • P. Lieverse, P. van der Wolf, E. Deprettere, K. Vissers, "A methodology for architecture exploration of heterogeneous signal processing systems," 1999 IEEE Workshop on Signal Processing Systems (SiPS), 1999.
  • J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, K. Pister, "System architecture directions for network sensors," ASPLOS, 2000.
     
• Scheduling
  • C. L. Liu, J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," Journal of the Association for Computing Machinery, vol.20, no.1, January 1973.
  • F. Balarin, L. Lavagno, P. Murthy, and A. Sangiovanni-Vincentelli, "Scheduling for Embedded Real-Time Systems," IEEE Design and Test of Computers, 1998.
     
• Software Estimation and Synthesis
  • K. Suzuki and A. Sangiovanni-Vincentelli, "Efficient Software Performance Estimation Methods for Hardware-Software Codesign," Proceedings of Design Automotion Conference, 1996.
  • P. K. Murthy, S. S. Bhattacharyya, and E. A. Lee, "Joint Minimization of Code and Data for Synchronous Dataflow Programs," Journal of Formal Methods in System Design, vol. 11, no. 1, July 1997.
  • Y.-T. S. Li, S. Malik, "Performance analysis of embedded software using implicit path enumeration," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no.12, December 1997.
  • P. G. Paulin, C. Liem, M. Cornero, F. Nacabal, G. Goossens, "Embedded software in real-time signal processing systems: application and architecture trends," Proceedings of the IEEE, vol. 85, no.3, March 1997.
  • G. Goossens, J. Van Praet, D. Lanneer, W. Geurts, A. Kifli, C. Liem, P. G. Paulin, "Embedded software in real-time signal processing systems: design technologies," Proceedings of the IEEE, vol. 85, no.3, March 1997.
  • F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni- Vincentelli, E. Sentovich, K. Suzuki, "Synthesis of software programs for embedded control applications," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, no.6, June 1999.
     
• Platform-Based Design
  • A. Sangiovanni-Vincentelli, A. Ferrari, "System Design - Traditional Concepts and New Paradigms," Proceedings of ICCD, Austin, TX, October 1999.
  • K. Keutzer, A. R. 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, vol. 19, no. 12, December 2000.
  • A. Sangiovanni-Vincentelli, "Defining Platform-based Design," EEDesign, February 2002.
     
• Communication-Based Design
  • A. Sangiovanni-Vincentelli, M. Sgroi, L. Lavagno, "Formal Models for Communication-based Design," Proceedings of CONCUR, August 2000.
  • M. Sgroi, M. Sheets, A. Mihal, K. Keutzer, S. Malik, J. Rabaey, A. Sangiovanni-Vincentelli, "Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design," Proceedings of DAC, Las Vegas, NV, June 2001.
  • J. Burch, R. Passerone, A. Sangiovanni-Vincentelli, "Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems," Proceedings of Application of Concurrency to System Design, Newcastle, UK, 2001.
  • A. Pinto, L. Carloni, A. Sangiovanni-Vincentelli, "Constrait-Driven Communication Synthesis," Proceedings of DAC, New Orleans, LA, June 2002.
     
• Inteface-Based Design
  • J. Rowson and A. Sangiovanni-Vincentelli, "Interface-based Design," Proceedings of Design Automation Conference, 1997.
  • R. Passerone, J. Rowson and A. Sangiovanni-Vincentelli, "Automatic Synthesis of Interfaces between Incompatible Protocols," Proceedings of Design Automation Conference 1998.
  • P. Chou, K. Hines, R. Ortega, K. Partridge, G. Borriello, "ipChinook: An Integrated IP-based Design Framework for Distributed Embedded Systems," Proceedings of the Design Automation Conference, New Orleans, LA, June 1999.
  • L. P. Carloni, K. L. McMillan, A. Saldanha, A. Sangiovanni-Vincentelli, "A Methodology for Correct-by-Construction Latency Insensitive Design," Proceedings of the Internaltional Conference on Computer-Aided Design, 1999.
  • L. P. Carloni, K. L. McMillan, A. Sangiovanni-Vincentelli, "Latency Insensitive Protocols," Proceedings of the International Conference on Computer-Aided Verification, Trento, Italy, July 1999.
  • R. Passerone, L. Alfaro, T. A. Henzinger, A. Sangiovanni-Vincentelli, "Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin," International Conference on Computer Aided Design, November 2002.
     
• Component-Based Design
  • L. de Alfaro, T. A. Henzinger, "Interface Theories for Component-Based Design," Proceedings of First Workshop on Embedded Software (EMSOFT), Lake Tahoe, CA, October, 2001.
  • E. A. Lee, Y. Xiong, "System-Level Types for Component-Based Design," Proceedings of First Workshop on Embedded Software (EMSOFT),L ake Tahoe, CA, October 2001.
     
• UML for Embedded System Design
  • G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley, 1999.
  • G. Martin, L. Lavagno, J. Louis-Guerin, "Embedded UML: a merger of real-time UML and co-design," Proceedings of CODES, Copenhagen, April 2001.
  • R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. Sangiovanni-Vincentelli, J. Rabaey, "Embedded System Design Using UML and Platforms," Proceedings of FDL, Marseille, France, September 2002.
     
• Design Methodologies, Tools and Languages
  • T. Groetker, S. Liao, G. Martin, S. Swan, System Design with SystemC, Kluwer Academic Publishers, May 2002.
  • D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Kluwer Academic Publishers, March 2000.
  • R. K. Gupta, S. V. Liao, "Using a programming language for digital system design," IEEE Design and Test of Computers, vol. 14, no. 2, April-June 1997.
  • F. Balarin, H. Hsieh, L. Lavagno, C. Passerone, A. Pinto, A. Sangiovanni-Vincentelli, Y. Watanabe, G. Yang, "Metropolis: A Design Environment for Heterogeneous Systems," in W. Wolf and A. Jerraya (editors), Multiprocessor Systems-on-Chips, Morgan Kauffman, 2004.
  • D. Verkest, K. Van Rompaey, I. Bolsens, H. De Man, "CoWare - a design environment for heterogeneous hardware/software systems," Design Automation for Embedded Systems, vol. 1, no. 4, October 1996.
  • F. Balarin, M. Chiodo, A. Jurecska, H. Hsieh, A. L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach, Kluwer Academic Press, June 1997.