Stay up to date with the latest news from AerieLogic.
Formal Verification IPs
Formal-VIPs automatically and exhaustively prove that your design is 100% compliant with the bus-protocol,without any need for assertions or formal verification knowledge.Best of all, these Formal-VIPs work with your favorite formal verification tool. Please visit the following links for details:
If you do not find your protocol listed above, please contact us at
for availability of other protocols.
OEM Products
AerieLogic leverages its team's extensive experience in industry-oriented formal verification to propose state-of-the-art OEM products for integration by third-party EDA or CAD companies. Please visit the following links for details:
