Utilizing synthesis to verify Boolean function models. - Azam Beg; P. W. Chandana Prasad; Walid Ibrahim; Emad Abu Shama (ISCAS, 2008)