MIPS и Xcelsa Labs ускоряют оптимизацию заказных чипов под конкретную нагрузку
Платформа Apex подбирает варианты реализации без привлечения САПР и проверяет их формальной эквивалентностью. В одном из проектов MIPS она закрыла нарушение по временным задержкам менее чем за три часа, сократив задержку критического пути на 33%.