Ten-Year Deal Lays Foundation for New Verification Products
LOS GATOS, Calif. -- April 18, 2002 -- TransEDA PLC, the leader in ready-to-use verification solutions for electronic designs, announced it has entered into a ten-year exclusive licensing agreement with SRI International, an independent scientific research institute in Menlo Park, Calif. The agreement is for certain formal verification technology from SRI for use in verifying properties of microelectronic component designs. The agreement provides TransEDA with access to several key technologies developed in SRI's Computer Science Laboratory's Formal Methods and Dependable Systems program.
Under the terms of the agreement, TransEDA has licensed a state space exploration tool kit that may be used to build model checkers, simulators, static debuggers, symbolic simulators and other tools. The company will use this tool kit in future versions of its property checking offerings, including the recently announced VN-Property DX? dynamic property checker and new formal and semi-formal tools currently under development. TransEDA has also licensed a powerful bounded model checker that uses new formal algorithms to address the state space explosion problem, and may enable formal model checking to be used with designs an order of magnitude larger than other tools on the market. The SRI technology is currently used in the avionics, aerospace, automotive and nuclear energy industries, among others.
"The use of properties and property checking represents a tremendous opportunity for the EDA and electronics industries to solve the verification crisis that confronts us today," said Ellis Smith, chief executive officer of TransEDA. "SRI is a recognized leader in formal verification and its cutting-edge technology will enable TransEDA to extend its family of property checking tools our customers can use to speed the verification and release of their products."
"The SRI tools provide TransEDA with proven technology that we believe is years ahead of any commercially available formal verification product," said John Colley, senior vice president of research and development at TransEDA. "This relationship gives TransEDA a strong foundation on which we can quickly develop formal tools to greatly increase our customers' productivity."
"We are delighted that TransEDA is incorporating our technology into their products. It's part of an extensive tool suite for enhancing the quality of software and hardware systems and represents more than 150 person years of development effort led by SRI's Dr. John Rushby," said Dr. Patrick Lincoln, director of SRI's Computer Science Laboratory. "The licensed technology will support TransEDA's vision for bringing a new generation of property checking tools to the EDA market, while allowing SRI to move its innovations into the market from the lab."
About SRI International
SRI International (http://www.sri.com) is one of the world's leading independent research and technology development organizations. Founded as Stanford Research Institute in 1946, SRI has been meeting the strategic needs of clients for more than 55 years. The nonprofit research institute performs contract research and development for government agencies, commercial businesses and nonprofit foundations. SRI is well known for its innovations in information technology, telecommunications, engineering, pharmaceuticals, chemistry, physics, and the public policy areas of education, health, and economic development. In addition to conducting contract R&D, SRI licenses its technologies, forms strategic partnerships and creates spin-off companies.
TransEDA PLC (symbol TRA on the Alternative Investment Market of the London Stock Exchange) develops and markets ready-to-use verification solutions for electronic field-programmable gate array (FPGA), application-specific integrated circuit (ASIC), and system-on-chip (SoC) designs.
The company's verification IP library includes models and properties for advanced microprocessors and bus interfaces. TransEDA's design verification software performs dynamic property checking, application-specific test automation, configurable HDL checking, code and finite state machine (FSM) coverage analysis, and test suite analysis.
TransEDA's tier-1 list of customers includes 18 of the world's top 20 semiconductor vendors. For more information, visit www.transeda.com or contact TransEDA at 983 University Avenue, Building C, Los Gatos, Calif. 95032 U.S.A., telephone (408) 335-1300, fax (408) 335-1319, email firstname.lastname@example.org.
Note: TransEDA is a registered trademark and VN-Property DX is a trademark of TransEDA. All other trademarks are properties of their respective holders.
TransEDA general information: email@example.com
TransEDA customer support: firstname.lastname@example.org