Learning digital design using design automation tools | IEEE Conference Publication | IEEE Xplore