VEasy: A tool suite for teaching VLSI functional verification | IEEE Conference Publication | IEEE Xplore