Cisco Systems Uses Specman for ASIC and System Verification of 12000 Series Gigabit Switch Router; Successful Project Leads to Broader Usage on Networking Products.MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--June 8, 1998--Verisity Ltd. today announced that Cisco Systems, Inc. has successfully incorporated Verisity's Specman functional verification automation tool into the company's verification methodology for the Cisco 12000 Series Gigabit Switch Router Cisco's trade name for its high-end layer 3 switch routers. (GSR GSR - Galvanic Skin Resistance GSR - Galvanic Skin Response GSR - General Service Representative GSR - General Service Routine/Request GSR - General Staff Requirement GSR - General Support-Reinforcement GSR - general support-reinforcing (US DoD) GSR - Generic Space Robot GSR - Geo-Spatial Referencing (ViaVis Mobile Solutions, Inc.). As a result of its successful usage of Specman in the ASIC and system verification for the GSR, Cisco has placed a repeat purchase order for additional Specman licenses to be used at multiple development sites around the world. "Specman made a valuable contribution in automating the verification process for the 12000 Series design project," said Einat Yogev, manager of hardware engineering at Cisco. "We found Specman gave us more flexibility and raised the level of abstraction The level of complexity by which a system is viewed. The higher the level, the less detail. The lower the level, the more detail. The highest level of abstraction is the single system itself. The next level would be only a handful of components, and so on, while the lowest level could be millions of objects. See also abstraction layer. for test generation and self checking, particularly on complex design blocks. The verification tool's high-level features played an important role in debugging the packet-over-SONET transmission protocols implemented by the Cisco 12000 Series." The Cisco 12000 Series is a family of very-high-speed data communication products used by Internet service providers for transporting large volumes of Internet traffic. "Cisco is the undisputed market leader in networking," said Moshe Gavrielov, CEO of Verisity Ltd. "Its recent success and subsequent proliferation of Specman is clear indication of our tool's value in automating functional verification for the most sophisticated technologies and demanding verification cycles." About Verisity Verisity Ltd. develops, markets, and supports functional verification automation solutions for engineers to validate complex electronic systems and integrated circuits (ICs). The company's product, Specman(TM), is a specification-based verification system which automates traditionally manual processes such as creation of functional tests, checking of results, and measuring verification progress against a functional test Testing software based on its functional requirements. It ensures that the program physically works the way it was intended and all required menu options are present. It also ensures that the program conforms to the industry standards relevant to that environment; for example, in a Windows program, pressing F1 brings up help. See testing types. plan. Verisity customers have cut verification schedules by up to two thirds, saving months off total project schedules. For more information, see Verisity's web site at www.verisity.com, or to request literature, call Ric Chope at 650/960-2957. Note to Editors: Specman and Verisity are trademarks of Verisity Design, Inc.
CONTACT: Verisity
Ric Chope, 650/960-2957
rchope@verisity.com
or
VitalCom
Scott Seiden, 650/637-8212
vitalcom@batnet.com
|
|
||||||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion