Hardware Verification -- CS 395t -- Homepage

Homepage: http://www.cs.utexas.edu/users/hunt/class/2018-spring/cs395t/cs395t.html



        Unique Number:  52545
           Class Room:  GDC 7.808

           Class Days:  Monday, Wednesday

           Class Time:  3:30 pm -- 4:50 pm

           Instructor:  "Warren A. Hunt, Jr." <hunt@cs.utexas.edu>

   Teaching Assistant:  "Mertcan Temel" <@temelmertcan@gmail.com>

      Office Location:  Hunt:  GDC 7.818

         Office Hours:  Hunt:  Mondays, Wednesdays:  11:00 am to 1:00 pm
                        Temel:  Tuesdays, Thursdays:  1:00 pm to 3:00 pm

Office Hours Location:  GDC 3rd floor atrium (but if you don't find us there,
                        try Warren's GDC 7.818 office)

     TA Announcements:  Use piazza.com

Below are links to the course announcement, syllabus, and homework and laboratory assignments. Announcements and additional information will incrementally appear during the semester.

Everytime you start to work, check this page! This webpage and the webpages transitively reachable from this webpage are the definitive resource for assignments, laboratories, and other class-related issues. The UT Canvas system will be used to record grades and to provide some information.