Efficient canonical form for Boolean matching of complex functions in large libraries | IEEE Journals & Magazine | IEEE Xplore