Research Article
Optimization Techniques for Verification of Out-of-Order Execution Machines
Table 1
Verification Times.
| OOO | Verification Times [sec] | Model | Flushing | GFP | FM | FM & CF |
| 2–2 | 3.87 | 2.24 | 1.52 | 1.26 | 2–3 | 6.06 | 3.71 | 1.71 | 1.4 | 2–4 | 9.4 | 6.13 | 2.12 | 1.56 | 2–5 | 13.15 | 10.41 | 2.6 | 2 | 3–2 | 14.51 | 11.21 | 4.02 | 2.91 | 3–3 | 26.34 | 28.93 | 4.93 | 3.55 | 3–4 | 43.01 | 64.76 | 6.02 | 4.38 | 3–5 | 65.8 | 273.13 | 7.02 | 5.09 | 4–2 | 73.48 | 103.67 | 15.92 | 9.67 | 4–3 | 182.38 | 680.55 | 19.56 | 11.87 | 4–4 | 428.5 | 3,409.96 | 29.06 | 15.32 | 4–5 | 973.92 | TO | 33.8 | 20.01 | 5–2 | OM | 1,687.55 | 96.41 | 50.28 | 5–3 | OM | TO | 127.33 | 54.61 | 5–4 | OM | OM | 141.83 | 63.45 | 5–5 | OM | OM | 159.09 | 91.85 | 6–2 | OM | OM | 592.51 | 282.56 | 6–3 | OM | OM | 951.69 | 233.62 | 6–4 | OM | OM | 973.49 | 336.54 | 6–5 | OM | OM | 1,710.76 | 540.03 | 7–2 | OM | OM | 3,375.68 | 1,450.23 | 8–2 | OM | OM | 3,351.34 | 1,294.73 | 9–2 | OM | OM | OM | OM |
|
|