![[IEEE 2008 IEEE International Symposium on Circuits and Systems - ISCAS 2008 - Seattle, WA, USA (2008.05.18-2008.05.21)] 2008 IEEE International Symposium on Circuits and Systems - Utilizing synthesis to verify Boolean function models]()
[IEEE 2008 IEEE International Symposium on Circuits and Systems - ISCAS 2008 - Seattle, WA, USA (2008.05.18-2008.05.21)] 2008 IEEE International Symposium on Circuits and Systems - Utilizing synthesis to verify Boolean function modelsBeg, Azam; Prasad, P.W.C.; Ibrahim, Walid; Shama, Emad Abu · 2008