Tools for the NTNU TDT4255 (Computer Design) course laboratory