Utilizing synthesis to verify Boolean function models.

Azam Beg, P. W. Chandana Prasad, Walid Ibrahim, Emad Abu Shama

Browse the full ISCAS paper archive.