Product category: Design and Development Software
News Release from: Mentor Graphics UK | Subject: FormalPro MP
Edited by the Electronicstalk Editorial Team on 13 October 2003
Equivalence checker exploits multiple CPUs
The FormalPro MP multiprocessor equivalence checker features a new scalable distributed architecture that uses multiple CPUs to increase the capacity and speed of verification and regression runs
This is the first of several new product developments for Mentor Graphics in its portfolio of scalable functional verification technologies. The FormalPro MP can accommodate large, complex chips using a single workstation with multiple CPUs, or multiple networked workstations, to verify designs of 130nm and below.
This article was originally published on Electronicstalk on 13 October 2003 at 8.00am (UK)
Related stories
Control system demonstrates viability of Autosar
Mentor Graphics has completed a demonstrator project for Volvo that entailed completely redeveloping an existing climate control system using Autosar technology
Acquisition delivers powerful design-to-fab flow
Mentor Graphics Corp has acquired Sierra Design Automation for US $90 million in cash and stock
The FormalPro MP enables the performance on large multi-million-gate designs to scale enabling verification of the largest designs today and in the future.
The FormalPro tool is the first generation of high capacity equivalence checkers from Mentor Graphics and has long been the capacity leader for equivalence checking, capable of verifying ASIC blocks of up to 20 million gates without demanding identical hierarchies.
The first FormalPro customer to view this new enhancement is Scientific Atlanta, a leading supplier of digital content distribution systems, transmission networks for broadband access to the home, digital interactive set-tops and subscriber systems designed for video, and high-speed Internet and voice over IP (VoIP) networks.
Further reading
Infineon and Chartered use litho-friendly design
Mentor Graphics has validated its Calibre LFD (litho-friendly design) results in silicon on 65nm process technology
Mixed-signal flow is proved with UWB transceiver
Mentor Graphics has set up a new reference flow for analogue and mixed-signal SoC designs
"The Formal Pro tool is key in our design flow and it has delivered excellent results", said Maynard Hammond, Principal Engineer for Subscriber Networks, Scientific-Atlanta.
"We look forward to leveraging its increased capacity and performance for more complex designs".
"The FormalPro MP's ability to distribute verification across multiple workstations allows for scalability for the most daunting customer challenges", according to Robert Hum, Vice President and General Manager of the Mentor Graphics Design, Verification and Test division.
"Mentor Graphics is committed to delivering scalable verification solutions that grow with the needs of our customers".
The FormalPro equivalence checker is a key product within Mentor Graphics scalable functional verification technologies.
Mentor Graphics offers the broadest and deepest range of integrated solutions covering the entire spectrum of system design and verification: digital, analogue, firmware and software.
Mentor Graphics provides the technology breadth and depth to enable thorough verification at every stage: block, subsystem and full system, while supporting the leading industry standards to ensure verification reuse and minimal risk for reliable verification.
The FormalPro MP will be available in the fourth quarter of 2003.
The FormalPro MP capability uses existing licences of the FormalPro and will be available to all new and existing customers.
Request a free brochure from Mentor Graphics UK....
• Mentor Graphics UK: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• NEW
• Electronicstalk Home Page
Related Business News
Icoa Is Partnering With Anchorfree To...
...Enhance And Monetize Thousands Of Wi-fi Hotspots. Icoa, Inc., a national provider of wireless broadband Internet access and managed network services in high-traffic public locations, and AnchorFree Inc., a rapidly growing Wi-Fi community powered by advertising, have announced today that they are partne
Olympics raises demand for IT contractors
The number of IT contractors working in the engineering sector has almost doubled in 12 months because of demand generated by the 2012 Olympics, according to contractor Giant Group PLC.
Stellar Appoints CIO to Lead Call...
...Centre Outsourcing Technology Strategy. Stellar, a leading global business process outsourcing provider, today announced that Warwick Marx has been appointed Chief Information Officer of Stellar Asia Pacific.
Dell pushes for better Linux drivers
Dell wants to see better software drivers for Linux so that the firm can ship more notebooks and desktops running the operating system, according to one of its software engineers.
Eds Sales Take A Tumble
Dave Friedlos, Computing , Thursday 17 May 2007 at 00:00:00 But experts say downturn may reflect market weakness, writes Dave Friedlos Outsourcing giant EDS has released disappointing first-quarter figures showing slower growth and fewer con
Search the Pro-Talk network of sites
