Industrial strength design automation tools in an introductory computer engineering laboratory | IEEE Conference Publication | IEEE Xplore