Automatic synthesis of large Moore sequencers | IEEE Conference Publication | IEEE Xplore