Automatic synthesis of a digital circuit employing an algorithm | IEEE Conference Publication | IEEE Xplore