We will be using Prof. Roumani's [[ https://www.cse.yorku.ca/~roumani/verimips | Lab Handbook]].