Mountain View, Calif.--Aug. 17, 1998--Verisity, Inc. (Mountain View)announced that it has entered into a joint marketing agreement withDenali Software, Inc. (Palo Alto, Calif.) to provide mutual customers with a flow thatintegrates Denali's memory models with Verisity's functional verificationenvironment.
The agreement enables system-on-chip designers to generatememories using Denali's Memory Modeler that run with Specman,Verisity's functional verification automation tool, through either theVerilog programming language interface (PLI) or C interface.
Verificationteams use Specman to execute their functional test plans throughconstraint-driven test generation, data and temporal checking, andfunctional coverage analysis. Specman supports all Verilog and VHDLhardware description language (HDL) simulators.
Verisity Ltd., Inc.
Return to Headlines