Utilizing synthesis to verify Boolean function models

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]

Authors

Azam Beg

This author has not been identified. Look up 'Azam Beg' in Google

P. W. Chandana Prasad

This author has not been identified. Look up 'P. W. Chandana Prasad' in Google

Walid Ibrahim

This author has not been identified. Look up 'Walid Ibrahim' in Google

Emad Abu Shama

This author has not been identified. Look up 'Emad Abu Shama' in Google