Supporting the education of CAD tools with hardware virtualization | IEEE Conference Publication | IEEE Xplore