Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications.


Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications.

Авторы

A. Kamkin.

Издание

EWDTS 2008, pp. 84-87.

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

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

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