Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation | IEEE Journals & Magazine | IEEE Xplore