Anonim

„Они су намењени момцима који пишу пуно ХДЛ-а“, рекао је директор маркетинга за менторе Јохн Ленио за ЕВ.

Из аквизиције Спиратецх долази компоненте Мулти-виев Верифицатион Цомпонентс за окружење за верификацију ментора Куеста. Ово доводи у библиотеке модела верификација који су компатибилни на нивоу система, ТЛМ и РТЛ за, на пример, АРМ-ову АКСИ магистралу.