Вы здесь

Главная

Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware Design

Автор: 
Gopalakrishnan G.
Fujimoto R.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Ключевые слова: 
проектирование
верификация
Стр.: 
P.109-145.
Библиография: 
Bibliogr.: p.144-145
Источник: 
ACM Trans. Computer Systems
Номер: 
2
Том: 
11
Карточка: 

В3.14.

Gopalakrishnan G., Fujimoto R..

Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware Design// ACM Trans. Computer Systems-1993, №2.-Vol. 11.-P.109-145.
Bibliogr.: p.144-145

Таблица в старой библиотеке: 
ACM2 813