CloudV: A cloud-based educational digital design environment | IEEE Conference Publication | IEEE Xplore