Інноваційна програмна платформа нового покоління для векторно-логічного моделювання, симуляції відмов, аналізу покриття тестування та верифікації цифрових систем. Технологія базується на власній архітектурі Processor-Free Computing, що використовує математичну модель векторної логіки