| |
Литвинова, Є. І.
Хмарний сервіс для тестування верифікації систем на кристалах [Текст] / Є. І. Литвинова, І. В. Ємельянов, І. В. Хаханов
// Радиоэлектроника и информатика. – 2017. – № 3. – С. 60-68.
Описуються методи і реалізація апаратно-програмного забезпечення безумовного паралельного синтезу тестів на основі булевих похідних для логіки, поданої у вигляді чорної скриньки і описаної кубітним покриттям. |
