Real намерениях Инк представляет RTL системы контроля

Санта-Клара, Калифорния ОСНОВЕ истинные намерения вкл. за последнюю неделю развернута от того, что это первый официальный уровень масштабируемости передачи реестра (RTL) системы контроля за нарушение ограничения пропускной способности в конструкциях.

Иерархической официальной методологии автоматически объединяет официальные результаты ниже блоков официально проверить высшего блоков. Ведение этого, дизайнеры могут проверить функциональность раньше и быстрее гораздо больше возможностей дизайна. Real намерениях утверждает, что ее система проверки будет быстрее и проще, чем какого-либо формального подхода проверки на рынке сегодня. Возможности будут включены в Verix инструмент Real в намерениях.

"Формальные методы уже давно провели обещание революцию RLF проверки больших, сложных ИС", сказал Prakash Narain, президент Real намерениях и главный исполнительный директор компании. "Тем не менее, две проблемы приостановили реализацию драматические преимущества этих методов: простота использования и возможности". Нараин сказал инструмент Verix делает успехи в обеих этих областях.

Verix по цене $ 50000 в год за лицензию подписки и доступен уже сейчас.