Added the writeup from the last meeting that describes the simulation verificaiton algorithm.