Fixing power bugs at RTL stage using PSL assertions | IEEE Conference Publication | IEEE Xplore