February 7, 2012 -- Jasper Design Automation today announced that Juniper Networks has adopted JasperGold formal technology for verification and design flows.
"We selected Jasper's solutions because of the clear advantages its tools and products offer over other options," said Sanjeev Kumar, ASIC Senior Manager at Juniper Networks. "We quickly recognized the value and quality improvements that Jasper's unique formal products can bring to our high-performance network products."
Juniper was able to load in its design, write properties, and begin using Jasper's formal techniques quickly. The Jasper Visualize feature allowed Juniper to thoroughly comprehend designs and swiftly correct any errors that were found.
"Being able to visualize RTL early in the design cycle, even without a need for a testbench, was key to our decision," added Kumar. "The remarkably intuitive and easy-to-use interactive debugging capabilities that Jasper provides will allow us to speed up design exploration and thus reduce design errors and market timing risks."