The labs are using the Questa simulator. Chapter 2 in the Design Flow cookbook found here is an introduction to the Questa simulator.
Lab hours in LISP with Felix Heyerdahl on Tuesdays 13-15 and on Thursdays 10-12 will start on Thursday 21.august.