CRN-based design methodology for synchronous sequential logic | IEEE Conference Publication | IEEE Xplore