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 ...

Checking functional equivalency between system-level models expressed in SystemC or C/C++ and their corresponding RTL representations is an important step toward making the high-level models useful in ...