Институт системного программирования им. В.П. Иванникова РАН


Methodolody and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications.

Авторы

M.Chupilko, A.Kamkin, D.Vorobyev.

Аннотация

In this paper we describe a methodology and experience of simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and
postconditions of microoperations. We have successfully applied the methodology to several units of the industrial microprocessor. The experience shows that cycle-accurate contract specifications are very suitable for simulation-based verification, since, first, they represent functional requirements on a unit in comprehensible declarative form, and second, they make it possible to automatically construct test oracles which verify unit correctness.

Полный текст статьи в формате pdf (на английском)

Издание

SYRCoSE'2008, том 2. (стр. 25-31).

DOI: 10.15514/SYRCOSE-2008-2-17

ISBN 978-5-91474-006-8

Научная группа

Технологии программирования

Все публикации за 2008 год Все публикации