Syllabus For Preliminary Examination In CAD

Revised March 2011
Prelim Format

Syllabus and Materials (effective Fall 2011)

  1. Timing
  2. Continuous-Time Modelling and Simulation
  3. Boolean Reasoning and Synthesis
  4. Models of Computation
  5. Scheduling
  6. Formal Verification and Constraint Solving
  7. Logic-level Testing, Fault Diagnosis and Reliability
  8. Fundamentals of Algorithms, Data Structures and Graphs

Programming aspects of the material above (including the ability to interpret and debug programs) are an integral part of the syllabus. As part of this, facility is expected with basic concepts and structures common to programming and scripting languages (such as C, MATLAB, python, perl, bash), concepts of object oriented programming (including classes, references, inheritance, operator overloading, templates, etc., in languages such as C++ and Java), and the basics of threaded programming (pthreads).