The Logic Description Generator | IEEE Conference Publication | IEEE Xplore