AerieLogic develops and markets the following formal plugins:

FV-ABV   FV-RTL   FV-Netlist

a fully-fledged formal verification tool for OEM a RTL design entry Formal Verification product a low-level input-model Formal Verification product