Random benchmark circuits with controlled attributes | IEEE Conference Publication | IEEE Xplore