National Semiconductor standardises on tools

Edited by the Electronicstalk editorial team May 28, 2004

National Semiconductor has standardised on the VCS RTL verification solution, the Leda programmable design checker and Formality functional equivalence checker.

National Semiconductor has standardised on the VCS RTL verification solution, the Leda programmable design checker and Formality functional equivalence checker.

Advanced built-in verification technologies in VCS, the prepackaged rules and ease of use of Leda and the performance and capacity delivered by Formality enable National Semiconductor's verification teams worldwide to reduce overall verification time while delivering higher quality products.

"VCS delivers the performance, capacity and built-in verification technologies we need to effectively verify our most complex designs", said James Lin, Vice President of the Technology Infrastructure Group at National Semiconductor.

"The comprehensive coverage capabilities built into VCS are widely used at National Semiconductor because they are fast, easy to use and improve verification quality".

"Additionally, the new built-in full-featured testbench and assertion technologies in VCS will further improve our verification productivity".

"After evaluation of various tools in the market place, we have standardised on Leda and Formality for their technology and performance advantages", said Dennis Lau, Senior Manager of the Design Tools Group, at National Semiconductor.

"Leda addresses our need for a powerful, configurable RTL and netlist checker and Formality delivers the performance and capacity needed to perform equivalence checking on our large designs".

"Combined, VCS, Formality and Leda enable us to develop high-quality SoCs".

"National Semiconductor chose our products because they can raise the quality of National's verification environment to allow them to achieve first-pass silicon", said Farhad Hayat, Vice President of Marketing for the Verification Group at Synopsys.

"By evolving VCS into a complete RTL verification solution, Synopsys is delivering a cost-effective solution with best-in-class technologies to meet the functional verification needs for complex designs from companies like National Semiconductor".