Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов
| Jazyk: | ruština |
|---|---|
| Rok vydání: | 2010 |
| Předmět: | |
| Zdroj: | Труды Института системного программирования РАН. |
| ISSN: | 2220-6426 2079-8156 |
| Popis: | В работе рассматривается методика автоматизированного построения тестовых программ для верификации управляющей логики микропроцессоров. Методика основана на формальной спецификации системы команд и описании шаблонов конфликтных ситуаций возможных в работе конвейера тестируемого микропроцессора. Использование формальных спецификаций позволяет автоматизировать разработку генератора тестовых программ и систематично протестировать управляющую логику. В то же время, поскольку подход основан на высокоуровневых описаниях, не учитывающих потактовое функционирование конвейера, разработанные спецификации и шаблоны, а также сгенерированные по ним тестовые программы допускают повторное использование при изменении микроархитектуры. Это позволяет применять методику на ранних стадиях разработки микропроцессоров, когда возможна частая переработка проектных решений. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
