Zhiwei Zhong, Lulu Ge, Ziyuan Shen, Xiaohu You, Chuan Zhang: CRN-based design methodology for synchronous sequential logic. SiPS 2017: 1-6