A Framework for Automatic Generation of Fully Synthesizable ADPLL | IEEE Conference Publication | IEEE Xplore