The Model Checking View to Clock Gating and Operand Isolation | IEEE Conference Publication | IEEE Xplore