Shinya Ubukata, Satoshi Komatsu. A Framework for Automatic Generation of Fully Synthesizable ADPLL. In 25th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2018, Bordeaux, France, December 9-12, 2018. pages 57-60, IEEE, 2018. [doi]
Abstract is missing.