Lumina VIP
Preview

Verification IP for every interface on your chip.

Verification IP, assertion IP, memory models and synthesizable transactors for more than 200 protocols, from AMBA and PCI Express to DDR5, MIPI and automotive buses. Built for Lumina, so the VIP, the design and the checks share one model.

protocols
212
protocols
categories
14
categories
products
361
products
Product types

Five ways to verify an interface.

170

Verification IP

UVM agents that drive and check a protocol in simulation, in every role the protocol defines.

35

Assertion IP

SystemVerilog assertions, assumptions and cover properties that prove a design follows the protocol in Lumina Formal, or check it in simulation.

41

Memory model

Device models that behave like the memory part: commands, modes, refresh and every timing parameter checked.

111

Synthesizable transactor

Synthesizable models of the protocol for FPGA prototyping and hardware-assisted verification, driven from the same tests as the VIP.

4

Post-silicon validation IP

Drives and checks the bus on a real board through an FPGA, to validate silicon with the scenarios used before tape-out.

Built for Lumina

One model for the design and its verification IP.

Native on Lumina

VIP runs in Lumina Sim beside your RTL, and assertion IP proves in Lumina Formal. No separate compile and no wrapper layer.

Results you can read

Each protocol violation names the rule it broke and the transaction that broke it, in a form an engineer or an AI agent can act on.

Coverage that merges

Protocol coverage lands in the same coverage database as your own, so one report shows what has and has not been exercised.

SystemVerilog and UVM

Written in SystemVerilog with UVM, and readable source, so your team can extend sequences and checks.

Catalog

Browse every protocol.

Search by name or filter by category and product type.

Contact

Need VIP for a protocol?

Tell us which protocols and versions you need. We also add protocols on request.

Lumina VIP

hello@lumeeslab.com

Helpful to include

  • The protocols and versions
  • Product types: VIP, assertion IP, memory model, transactor
  • Your schedule

Privacy settings

Choose what this site may use. You can change your mind at any time from the Privacy settings link at the bottom of every page.

What the site needs to work, and the record of the choice you make here, kept in your browser. No cookies are set.

Always on

Would let us count visits and see which pages are useful, without advertising or cross-site tracking. We do not use any analytics today, so nothing is loaded whichever you choose.

Cookie policy · Privacy policy