Verifikationsprozess

KAISERSLAUTERN / LONDON (IT BOLTWISE) – LUBIS EDA stellt mit FormalOS eine Plattform vor, die formale Verifikation für RTL-Designs systematischer, skalierbarer und planbarer machen soll. Die Lösung liefert eine herstellerunabhängige Orchestrierungsebene, in der formale Engines, Apps und weitere Tools in einer einheitlichen Umgebung zusammenlaufen. Laut Anbieter setzt FormalOS dabei auf den LUBIS Proven Process, um […]