За целта и аз ползвам програматора XGecu (TL866II). В общи линии проверката работи добре, макар че се е случвало и здрави схеми да дават грешка. Обикновено това са тригери или по-сложни броячи, чийто тестове са объркани. Понякога проверката е трудно да се направи, например някои преноси, макар че самият тест е написан, както трябва. Не мога да кажа как и дали се симулират необходимите в тези случаи закъснения/предварения, но някои комбинации "побъркват" схемата. Част от проверките минават, а други не, което е индикация, че може да има грешка в теста. Добрата новина е, че програматорът позволява да се пишат собствени тестове. В този случай вземам таблицата на истината и правя свой тест без да симулирам "забранените" състояния. Схемата минава проверката и работи нормално в устройството. Разбира се има и неработещи схеми, които не могат да се "оправят" с пренаписване на теста :о)