Course materials for ELEC233 Digital Electronics and VHDL