Description:

Verification consumes a big portion of the overall design cycle. This task is complicated with the increasing size and complexity of designs. In this class, we will read and discuss research papers on verification as well as design of parallel programs for such as multicores, GPUs. Students will gain an understanding of some core and state of the art solutions.

Each student is expected to do an exhaustive research on the chosen topics. The presentations need to be discussed with the instructor before class presentation. The term projects will be written in a research paper format.

Grading will be done based on class presentations, class participation, term project and term paper. There wiil not be any exams.

Topics of interest are as follows:

  • - Dynamic verification and testing
  • - Coverage, Debugging, Error Diagnosis
  • - System level verification techniques using SystemC
  • - Formal verification techniques
  • - Graphic Processing Units

    • See the syllabus for the list of papers.

    Contact:

    Email: alper DOT sen AT boun DOT edu DOT tr