FormalOS adds structure to RTL verification and sign-off

Lubis EDA has released FormalOs, a verification infrastructure platform which is designed to be a tool-agnostic orchestration layer for verification for SoC, asic and IP sign-off projects. According to the […]
The post FormalOS adds structure to RTL verification and sign-off appeared first on Electronics Weekly.