A new synthesis procedure for atomic rules containing multi-cycle function blocks | IEEE Conference Publication | IEEE Xplore