Jasper Design Automation, the leading provider of verification solutions based on formal technology, today announced that Juniper Networks has adopted JasperGold formal technology for verification and design flows.

Functional verification is a critical element in the development of today's complex digital designs. The reality is that no matter how long you simulate or how intelligent the testbench is, validating the design intent through simulation is inherently incomplete for all but the smallest circuits. Corner-case bugs are artifacts of simulation since they are not detected due to the non-exhaustive nature of simulation-based verification.

JasperGold enables exhaustive and complete verification and provides rapid bug detection as well as end-to-end full proofs of expected design behavior. Its powerful analysis capabilities and ease of use makes it ideal for early-stage bug hunting as well as ensuring the highest confidence possible in design functionality via end-to-end full proofs.

Juniper was able to load in its design, write properties, and begin using Jasper's unique formal techniques quickly. The Jasper Visualize™ feature allowed Juniper to thoroughly comprehend designs and swiftly correct any errors that were found.

"Juniper's adoption of our products is a testament to the time-to-market benefits that our solutions offer," said Kathryn Kranen, President and CEO of Jasper Design Automation. "We look forward to partnering with Juniper to make Jasper formal technology a standard part of their design and verification flow in the future."