?? http:^^www.eecs.umich.edu^courses^eecs478^
字號:
Date: Tue, 26 Nov 1996 19:10:38 GMT
Server: Apache/1.1-dev
Content-type: text/html
Set-Cookie: Apache=gs359334849035438323; path=/
<HEAD> <TITLE> EECS 478 Fall 96 Course Homepage</TITLE> </HEAD><BODY bgcolor=#ffffff text=#000000 ><H1><center><!WA0><a HREF ="http://www.eecs.umich.edu/under-couns/EECSHOMEPAGE/html/courses.html#478"> EECS 478</a> - Switching and Sequential Systems</h1><h1>Fall 1996</center></H1><hr><H2>Course Information</H2><table border=0 cellspacing=2><tr><td><strong>Time & Place:</strong></td><td>Tuesday and Thursday, 8:40am to 10:00am, 1303 EECS Bldg.</td></tr></table><p><table border=0 cellspacing=5><tr><td><strong>Instructor:</strong></TD> <TD>Professor Marios Papaefthymiou</td></tr><TR><TD>Office:</TD><TD> 2218 EECS Bldg. </TD></TR><TR><TD>Phone:</TD><TD> 764-3184 </TD></TR><TR><TD>Office hours:</td><TD>T Th 10-11:30am</TD></TR><TR><TD>Email:</TD><TD><!WA1><a href="mailto:marios@eecs.umich.edu"><em>marios@eecs.umich.edu</em></a></TD><TD></TD> </TR></table><p><table border=0 cellspacing=5><tr><td><strong>TA:</strong></TD> <TD>Sanjay Shanker</td></tr><TR><TD>Office:</TD><TD>2420 EECS Bldg. (TA Room)<TR><TD>Office Hours:</TD><TD>Mon 2:30-4pm Thu 1:00 - 2:30 pm </TD></TR><TR><TD>Email:</TD><TD><!WA2><a href="mailto:sanjaybs@engin.umich.edu"><em>sanjaybs@engin.umich.edu</em></a></TD><TD></TD> </TR></table><p><DT><B>Class e-mail alias:</FONT></B></DT>eecs478@eecs.umich.edu<p><DT><B>Textbook</FONT></B></DT><p><DD> G. Hachtel and F. Somenzi: Logic Synthesis and Verification Algorithms, Kluwer, 1996</DD><P><DT><B>Assignments and Exams</FONT></B></DT><DD> <UL> <LI>Five or Six Problem Sets (35%)</LI> <LI>Midterm Exam, Tuesday, October 22, 8:40-10am (25%)</LI> <LI><strong> Final Exam, Friday, December 13, 6:00-8:00pm (40%)</strong></LI> </UL></DD><p><hr><H2>Handouts</H2><UL><LI><!WA3><A HREF="http://www.eecs.umich.edu/courses/eecs478/course-info.ps"> Handout 1: Course Information</A><LI><!WA4><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps1.ps"> Handout 2: Problem Set 1</A> [due Thursday, September 19]<LI><!WA5><A HREF="http://www.eecs.umich.edu/courses/eecs478/espresso.ps"> Handout 3: Using Espresso </A></LI><LI><!WA6><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps1-sol.ps"> Handout 4: Solutions to Problem Set 1</A></LI><LI><!WA7><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps2.ps"> Handout 5: Problem Set 2</A></LI> [due Thursday, October 3]<LI><!WA8><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps3.ps"> Handout 6: Problem Set 3</A></LI> [due Tuesday, October 15]<LI><!WA9><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps2-sol.ps"> Handout 7: Solutions to Problem Set 2</A></LI><LI><!WA10><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps3-sol.ps"> Handout 8: Solutions to Problem Set 3</A></LI><LI><!WA11><A HREF="http://www.eecs.umich.edu/courses/eecs478/md.ps"> Handout 9: Midterm Exam, October 22</A></LI><LI><!WA12><A HREF="http://www.eecs.umich.edu/courses/eecs478/md-sol.ps"> Handout 10: Solutions to Midterm Exam</A></LI><LI><!WA13><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps4.ps"> Handout 11: Problem Set 4</A> [due Thursday, November 7]</LI><LI><!WA14><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps5.ps"> Handout 12: Problem Set 5</A> [due Thursday, November 21]</LI><LI><!WA15><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps4-sol.ps"> Handout 13: Solutions to Problem Set 4</A> </LI><LI><!WA16><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps5-sol.ps"> Handout 14: Solutions to Problem Set 5</A> </LI><LI><!WA17><A HREF="http://www.eecs.umich.edu/courses/eecs478/ps6.ps"> Handout 15: Problem Set 6</A> [due Thursday, December 5]</LI></UL><P><hr><H2>Lecture Notes</H2><UL><LI><!WA18><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L14.html"> Lecture 14</A>: Timing Optimization in Multilevel Circuits</LI><LI><!WA19><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L15.html"> Lecture 15</A>: False Paths, Operation Modes and Path Sensitization</LI><LI><!WA20><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L16.html"> Lecture 16</A>: </LI> Sequential Optimization: Retiming</LI><LI><!WA21><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L17.html"> Lecture 17</A>: </LI> FSM Minimization</LI><LI><!WA22><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L18.html"> Lecture 18</A>: </LI> Minimizing incompletely-specified FSMs</LI><LI><!WA23><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L19.html"> Lecture 19</A>: </LI> FSM Minimization: Primes and Binate Covering</LI><LI><!WA24><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L20.html"> Lecture 20</A>: </LI> State Assignment: Fanin, Fanout and Embedding Algorithms</LI><LI><!WA25><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L21.html"> Lecture 21</A>: </LI> Hardware Modeling & High Level Synthesis</LI><LI><!WA26><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L22.html"> Lecture 22</A>: </LI> Scheduling Algorithms</LI><LI><!WA27><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L23.html"> Lecture 23</A>: </LI> List Scheduling and Force Scheduling Algorithms</LI><LI><!WA28><A HREF="http://www.ummu.umich.edu/library/RESERVES/EECS478/L24.html"> Lecture 24</A>: </LI> Resource Binding</LI></UL><hr><!WA29><a href=http://www.ummu.umich.edu/library/RESERVES/Printing/printing.html>Printing Lecture Notes from the web.</a><p><hr><strong>Last Update:</strong> <i>Tue, Nov 26, '96</i> ?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -