SoC Design Flow and Tools

Part	Title (Slides)	Description	Prepared By	Date Uploaded
0	Course Overview	PPT, 12 slides, 135 KB	P.-A. Hsiung (CCU)	March 1, 2005
1	Introduction	PDF, 34 slides, 476 KB	P.-A. Hsiung (CCU)	March 1, 2005
2	SystemC Modeling	PDF, 153 slides, 2.4 MB	C.-N. Liu (NCU)	March 1, 2005
3	Transaction-Level Modeling in SystemC	PDF, 95 slides, 2.4 MB	Y.-J. Chen, P.-A. Hsiung (CCU)	March 15, 2005
4	UML and SystemC based SoC Design	PDF, 92 slides, 4.8 MB	P.-A. Hsiung (CCU)	March 18, 2005
5	Hardware-Software Codesign without lecture notes with lecture notes	PDF, 230 slides, 2.5 MB	Y.-N. Chang (NSYSU), P.-A. Hsiung(CCU)	April 25, 2005
6	SoC Verification Original Extended	PDF, 68 slides, 819 KB PPT, 141 slides, 4,728 KB	C.-N. Liu (NCU) P.-A. Hsiung (CCU)	December 1, 2003 May 24, 2005
7	SoC Testing	PDF, 118 slides, 5.2 MB	J.-L. Huang (NTU)	December 22, 2003

Reference Books

Daniel D. Gajski et al., "Specification and Design of Embedded Systems," Prentice Hall, 1994.
Henry Chang et al., "Surviving the SoC Revolution," Kluwer Academic Publishers, 1999.
Bassam Tabbara et al., "Function/Architecture Optimization and Co-Design of Embedded Systems," Kluwer Academic Publishers, 2000.
Michael Keating, Pierre Bricaud, "Reuse Methodology Manual ," Kluwer Academic Publishers, 2002.
Frank Vahid, Tony Givargis, "Embedded System Design," John Wiley & Sons, Inc., 2002.

SoC Verification
Steve Furber, "ARM System-on-Chip Architecture," 2nd Edition, Addison Wesley, 2000.
Prakash Rashinkar, Peter Paterson, Leena Singh, "System-on-a-chip Verification," Kluwer Academic Publishers, 2001.
Lionel Bening, Harry Foster, "Principles of Verifiable RTL Design," Kluwer Academic Publishers, 2001.