HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators
| Autor: | Maxiwell Salvador Garcia, Sandro Rigo, Emilio Francesquini, Rodolfo Azevedo |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
010302 applied physics
Cross compiler General Computer Science Computer science business.industry 02 engineering and technology 01 natural sciences 020202 computer hardware & architecture Instruction set Task (computing) Software bug Control and Systems Engineering Embedded system 0103 physical sciences Cross-platform 0202 electrical engineering electronic engineering information engineering x86 Architecture business Host (network) |
| Zdroj: | IEEE Embedded Systems Letters. 9:25-28 |
| ISSN: | 1943-0671 1943-0663 |
| DOI: | 10.1109/les.2016.2626980 |
| Popis: | Instruction set simulators (ISSs) play a critical role in the design cycle of embedded systems. However, as ISSs evolve and increase in complexity, not only new bugs might be introduced but also old latent bugs might be revealed. Finding these bugs based on the simulator output might be a challenging task. This letter presents HybridVerifier, a novel and retargetable framework for ISS verification. It relies on hybrid simulation between the ISS and the host processor (x86), using the host’s memory as a reference for the simulated architecture. We demonstrate the effectiveness of our approach in three different scenarios: 1) ISS model verification; 2) processor specific libraries/functionalities; and 3) cross compiler bugs. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|