Energy (or, more specifically, energy consumption) is at the forefront in everyone's mind these days. Whether we are sensitive to the cost of fuel, to the electricity bill or to a dead cell phone ...

In this paper, we examine the need for formal sequential equivalence checkingacross pairs of RTL models. We present scenarios that call for modifying thesequential behavior of RTL models while ...