Sign in

Utilizing synthesis to verify Boolean function models.

Azam BegP. W. Chandana PrasadWalid IbrahimEmad Abu Shama
Published in: ISCAS (2008)
Keyphrases
  • boolean functions
  • functional decomposition
  • uniform distribution
  • machine learning
  • relevant variables