Carla Purdy, Chandan Singh, Rashna Seli. Fixing power bugs at RTL stage using PSL assertions. In IEEE 57th International Midwest Symposium on Circuits and Systems, MWSCAS 2014, College Station, TX, USA, August 3-6, 2014. pages 218-221, IEEE, 2014. [doi]
Abstract is missing.