TITLE: Utilizing Synthesis to Verify Boolean Function Models
AUTHORS: Azam Beg, P.W.C. Prasad, Emad Abu-Shama, and Walid Ibrahim
PUBLICATION/VENUE: International Symposium on Circuits & Symposium (ISCS'08), May 2008.
ABSTRACT:
neural network, data mining, data pre-processing, data processing, binary decision diagram (BDD), digital circuits, model, circuit model, performance estimation, path length, path delay, circuit complexity, circuit synthesis,
DOWNLOAD: PDF