EECS 578 - Correct Operation for Processors FALL 2015 |
|
Readings and class notes
| Lecture | Date | Topic | Notes | Extras |
| 1 | 09/08/15 | Course structure and logistics | 578L1.pdf | Complete the entry survey |
| 2 | 09/10/15 | Chip interconnects and their runtime validation | 578L2.pdf | Study the papers outlined in lecture: SafeNoC-ICCD'11 ForEVeR-MICRO'11 |
| Discussion | 09/12/14 | Team forming and project discussion | . | none |
| 3 | 09/15/15 | Routing, Blinc and Presentation advice | 578L3.pdf 578L3-blinc.pdf |
Study the paper outlined in lecture: Blinc-DATE'14 |
| 4 | 09/17/15 | Reliability, Routing in presence of faults | 578L4.pdf | Study the paper outlined in lecture: Ariadne-PACT'11 |
| Discussion | 09/18/14 | Mini-project 1 (Interconnect) | Discussion notes | none |
| . | 09/22/15 | NO CLASS | none | none |
| 5 | 09/24/15 | Routing in presence of faults Resilient Cache Coherence / How to prepare your presentation |
578L5.pdf Ais11-Talk |
Read: [Ais11] |
| Discussion | 09/25/15 | Course project - Outline Review 1 | Individual team meetings | none |
| 6 | 09/29/15 | HW Trojans detection How to prepare your presentation / Single core resiliency |
578L6.pdf Cak15-Talk |
Study the paper outlined in lecture: DIVA-MICRO'99 Read: [Cak15] |
| 7 | 10/01/15 | Noc ResiliencyHW / Resilient VLIW | 578L7.pdf Par06-Talk |
Study the paper outlined in lecture: Bulletproof-ASPLOS'06 Read: [Par06] |
| Discussion | 10/02/15 | Course project - Outline Review 2 | Individual team meetings | none |
| 8 | 10/06/15 | ISA diversity / Catch up | Fou11-Talk | Read: [Fou11] |
| 9 | 10/08/15 | Argus / Catch up | Mei07-Talk | Read: [Mei07] |
| Discussion | 10/09/15 | Course project - Outline Final Review | Individual team meetings | none |
| 10 | 10/13/15 | Core salvaging / Pre-silicon validation | 578L8.pdf Pow09-Talk |
Read: [Pow09] |
| 11 | 10/15/15 | Pre-silicon validation (same slides as 10/13)/ GRASP | Mar99-Talk | Read: [Mar99] |
| Discussion | 10/16/15 | Mini-project 2 (SVA validation) | Discussion notes | none |
| 10/20/15 | Fall Break - NO CLASS | . | . | |
| 12 | 10/22/15 | Validation study | Fos14-Talk | Read: [Fos14] |
| Discussion | 10/23/15 | Course project - Checkpoint 1 | Individual team meetings | none |
| 13 | 10/27/15 | Memory consistency 1 | 578L9.pdf | none |
| 14 | 10/29/15 | Memory consistency 2 | 578L10.pdf | Study the paper outlined in lecture: PostSi Consistency-TCAD'15 PipeCheck-MICRO'14 |
| Discussion | 10/30/15 | Project help | none | none |
| 15 | 11/03/15 | Memory consistency validation, Post-silicon validation, Symbolic model checking |
578L11.pdf 578L12.pdf Lus15-Talk |
Read: [Lus15] |
| 16 | 11/05/15 | Hardware security assurance, PVcoherence |
578L13.pdf Zha14-Talk |
Read: [Zha14] |
| Discussion | 11/06/15 | RSA project overview | Discussion notes | none |
| 17 | 11/11/15 | Heterogeneous systems (guest lecturer), Post-silicon test generation |
578L14.pdf Adi11-Talk |
Read: [Adi11] |
| 18 | 11/12/15 | QED and Concolic validation | Hon10-Talk Con13-Talk |
Read: [Hon10] [Con13] |
| Discussion | 11/13/15 | Course project - Checkpoint 2 | Individual team meetings | none |
| 19 | 11/17/15 | Architecture-level validation solutions | Che08-Talk Deh15-Talk |
Read: [Che08] [Deh15] |
| 20 | 11/19/15 | Security: information flow tracking | Kan09-Talk | Read: [Kan09] |
| Discussion | 11/20/15 | no discussion | . | none |
| 21 | 11/24/15 | Security: obfuscating execution | Ran15-Talk | Read: [Ran15] |
| . | 11/26/15 | Thanksgiving break - no lecture | . | . |
| 22 | 11/30/15 | Midterm review | 578L15MidtermReview.pdf | none |