O-In Дизайн Побед патентной

O-IN ("ZERO-IN) Автоматизация проектирования Инк докладов, была удостоена США патент № 6175946 под названием" Метод автоматической генерации Шашки для нахождения функциональных дефектов Описание цепь патент победить может иметь решающее значение для нулевой В конкуренции со стороны гигантских Synopsys EDA Инк считается неминуемой, хотя Маунтин-Вью Калифорния основе фирма не выпустила инструмент еще.

"Белого ящика" проверка, срок 0-In придумал, основан на шашки, и утверждений, которые следят за регистрационный код перевода уровне функциональных задач шашки увеличение наблюдаемости, позволяя проектных команд, чтобы найти больше ошибок, ранее новый патент относится к поколению в шашки.