A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

Table 1

Parameters for the linearized leakage power.

1.0	1.5	1.4038	0.0641
0.8	1.2	0.7439	0.0308
0.6	0.9	0.390	0.0077
0.4	0.6	0.204	0.0081