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


Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification.

Авторы

M. Chupilko.

Издание

EWDTS-2010 (East-West Design and Test Symposium 2010). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2010), 127-130 pp.

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

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

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