Hardware Verification -- CS 395t -- Lecture Notes

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

Lecture Slides

We will be discussing the material from the two documents in the section below.

  • Slides that concern the ACL2 Logic.

    Lecture Notes

    The notes will be referenced during the lecture portion of this course.

  • An introduction to the ACL2

  • A formalization of BDDs

    Additional notes will appear here later in the semester that concern hardware specification and the formalization of a hardware description language.

    Return to CS395t course homepage.