Akademik
gate-level verification
Вычислительная техника:
верификация на уровне вентилей
Универсальный англо-русский словарь
.
Академик.ру
.
2011
.