A DSPstone Benchmark of CoDeL's Automated Clock Gating Platform | IEEE Conference Publication | IEEE Xplore