Azam Beg, P. W. Chandana Prasad, Walid Ibrahim, Emad Abu Shama. Utilizing synthesis to verify Boolean function models. In International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA. pages 1576-1579, IEEE, 2008. [doi]
Abstract is missing.