Engineers in a lab reviewing a holographic neural network above a chip, representing AI-assisted chip design and verification

EDA Solutions

LUBIS EDA

Formal sign-off delivered by verification experts

Formal
Sign-off
Service
VIP

LUBIS EDA provides a service rather than a tool licence. The team builds Formal VIP and completes formal sign-off for processors, memory subsystems and a wide range of bus protocols.

Products & capabilities

LUBIS EDA portfolio

Service

Formal VIP Generation

Custom Formal VIP built around your design, with formal sign-off delivered.

Coverage

Processors

RISCV-CV32E40P, RISCV-IBEX, image processors and SHA / AES / ECC crypto blocks.

Coverage

Memory

Caches, DMA, AI tensor compute units and VR address mappers.

Coverage

Protocols

AHB, FPI, SONET/SDH, AXI4, AXI3.

Coverage

Other

Protocol bridges, arbiters and data structures.

Want to know more about LUBIS EDA?

We can arrange a vendor technical briefing, an evaluation licence and a deployment plan to get your team productive quickly.