Utilizing synthesis to verify Boolean function models.

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

Published in: ISCAS (2008)

Keyphrases

boolean functions
functional decomposition
uniform distribution
machine learning
relevant variables