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


Specification-Driven Construction of Testbench Checkers for RTL Models of Synchronous Parallel-Pipeline Hardware.

Авторы

A. Kamkin.

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

Издание

Written for RTL and High-Level Testing Workshop, 2009.

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

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

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