Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > EDA/IP

PLX, Jasper partner on formal verification solution

Posted: 03 Jul 2003 ?? ?Print Version ?Bookmark and Share

Keywords:plx technology? jasper design automation? formal verification? pci express technology?

PLX Technology Inc. and Jasper Design Automation have collaborated to bring formal verification to PLX chips based on the PCI Express technology, via the JasperGold formal verification tool.

PLX conducted an extensive evaluation of JasperGold - a complete formal verification solution that can detect design bugs in complex electronic design blocks - for PLX's recently announced line of PCI Express-based chips. The two companies also announced that PLX has adopted JasperGold's pre-qualified PCI Express Proof Kits to support PLX's next-generation designs based upon PCI Express.

Article Comments - PLX, Jasper partner on formal verifi...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top