Verisity and Denali Enter Joint Marketing Agreement to Address SOC Designs.MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Aug. 17, 1998--Verisity Ltd. today announced that it has entered into a joint marketing agreement with Denali Software Denali Software, Inc. is an American software company, based in Palo Alto, California. The company produces electronic design automation (EDA) software and intellectual property (IP) design cores for memory and other standard interfaces. to provide mutual customers with a seamless flow that integrates Denali's memory models with Verisity's functional verification Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, environment. The agreement enables system-on-chip (SOC) designers to generate memories using Denali's Memory Modeler(TM) that run with Specman(TM), Verisity's functional verification automation tool, through either the Verilog programming language interface (PLI PLI Practising Law Institute PLI Professional Liability Insurance PLI Programming Language Interface (Verilog programming language) PLI Partido Liberal Independiente (Independent Liberal Party, Nicaragua) ) or C interface. Together, the two tools significantly improve design team productivity with minimal interoperability issues. "For our customers creating complex chips and systems in excess of 500K-gates, functional verification is one of the biggest challenges," said Sanjay Srivastava, president and CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. at Denali. "We share many common customers and they'll benefit from the seamless integration and automation our products deliver to their design and verification environments. They'll not only be able to customize memory models to their specific applications, but also be able to determine when verification is done." Specman has been adopted by market leaders in the networking, computer systems, and semiconductor industries to automate the functional verification process for their advanced chips and systems. Verification teams use Specman to execute their functional test plans through constraint-driven test generation, data and temporal checking, and functional coverage analysis. Specman supports all popular Verilog and VHDL (VHSIC Hardware Description Language) A hardware description language (HDL) used to design electronic systems at the component, board and system level. VHDL allows models to be developed at a very high level of abstraction. hardware description language (language) Hardware Description Language - (HDL) A kind of language used for the conceptual design of integrated circuits. Examples are VHDL and Verilog. (HDL (Hardware Description Language) A language used to describe the functions of an electronic circuit for documentation, simulation or logic synthesis (or all three). Although many proprietary HDLs have been developed, Verilog and VHDL are the major standards. ) simulators. "Specman provides key capabilities to automate the functional verification process," said Francine Ferguson, director of product marketing at Verisity. "Each of our customers has a unique environment and set of point tools, so it is critical that we provide an open environment that allows seamless integration with a broad range of tools. Denali is the market leader in memory model generation and many of our Specman customers also use Memory Modeler in their design flows to accelerate time-to-market." About Denali Software Denali Software was founded in 1994 to solve the moder allows designers to create models for memory components and subsystems. Denali Software was named for the six-million acre Denali National Park Denali National Park Preserve, southern central Alaska, U.S. Established in 1980, it comprises the former Mount McKinley National Park (1917) and Denali National Monument (1978). & Preserve in Alaska, hd., Inc. develops, markets, and supports functioedules by up to two thirds, saving months off t rchope@verisity.com or VitalCom UTERS/ELECTRONICS COMED PRODUCT |
|
||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion