Using Graph-Based CSP to Solve the Address Translation Problem
| Autor: | Shai Doron, Michael Veksler, Anatoly Koyfman, Elena Tsanko, Yael Ben-Haim, Merav Aharoni |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Theoretical computer science
Computer science Distributed computing Graph based 02 engineering and technology Integrated circuit Constraint satisfaction Graphplan 020202 computer hardware & architecture law.invention Microprocessor Memory management unit law 0202 electrical engineering electronic engineering information engineering Constraint programming Graph (abstract data type) 020201 artificial intelligence & image processing |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319449524 CP |
| Popis: | The hardware address translation mechanism is an essential part of modern microprocessor memory management. The ever-growing demand for performance and low power of integrated circuits makes this mechanism exceptionally complex, and its verification requires sophisticated test generation tools. This paper presents a solution, based on constraint satisfaction, to generate stimuli for testing address translation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|