Name
Title | ||
|---|---|---|
Rapid Development of Error-Free Architectural Simulators Using Dynamic Runtime Testing |
Abstract | ||
|---|---|---|
Architectural simulator platforms are particularly complex and error-prone programs that aim to simulate all hardware details of a given target architecture. The development of a stable cycle-accurate architectural simulator can easily take several man-years. Discovering and fixing all visible errors in the simulator often requires significant effort, much higher than for writing the simulator in the first place. In addition, there are no guarantees that all programming errors will be eliminated, no matter how much effort is put into it. This paper presents dynamic runtime testing, a methodology for rapid development and accurate error detection in architectural cycle-accurate simulators. In dynamic runtime testing, the simulator execution is dynamically compared with a simple and functionally equivalent emulator. A possible error is detected if any instruction produces different results in the simulator and the emulator. Dynamic testing can help the developers of architectural simulators to get a reliable and accurate verification of functional correctness. Based on our experience, dynamic testing reduced the simulator modification time from 12-18 person-months to 3-4 person-months, and it only modestly reduced the simulator performance (in our case under 20%). |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1109/SBAC-PAD.2011.23 | SBAC-PAD |
Keywords | Field | DocType |
stable cycle-accurate architectural simulator,simulator execution,dynamic runtime testing,rapid development,accurate error detection,simulator performance,architectural simulator,simulator modification time,architectural cycle-accurate simulator,dynamic testing,architectural simulator platform,error-free architectural,computer architecture,computer bugs,testing,out of order,error detection,hardware,architectural,simulator,debugging,dynamic simulation | Architecture,Computer architecture simulator,Computer science,Correctness,Parallel computing,Software bug,Error detection and correction,Dynamic testing,Real-time computing,Out-of-order execution,Embedded system,Debugging | Conference |
ISSN | ISBN | Citations |
1550-6533 | 978-1-4577-2050-5 | 1 |
PageRank | References | Authors |
0.36 | 8 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sasa Tomic | 1 | 8 | 3.24 |
| Adrín Cristal | 2 | 12 | 1.57 |
| Osman Unsal | 3 | 164 | 14.33 |
| Mateo Valero | 4 | 4520 | 355.94 |