Список цитирования публикации:
CONCURRENT DESIGN AND VERIFICATION OF DIGITAL HARDWARE / О ВЕРИФИКАЦИИ НА ЭТАПЕ СИНТЕЗА ЦИФРОВЫХ СИСТЕМ