High-level FSMD design and automated clock gating with CoDeL | IEEE Journals & Magazine | IEEE Xplore