Verisity provides Huawei Tech with verification solutions

Verisity Ltd disclosed that its verification process automation (VPA) solutions have been chosen by Huawei Technologies Co. Ltd for network communications products. Huawei selected Verisity specifically for its Specman Elite technology and its ability to speed verification and find hard-to-reach bugs, as well as the eReuse Methodology (eRM) to proliferate verification best practices throughout Huawei's project teams.

Verisity claims its VPA solutions simplify the complex process of verification through a combination of automation technology, methodology and analyses. Specman Elite, a key component of VPA, provides an environment for all aspects of verification, including automatic generation of functional tests, data and assertion checking and functional coverage analysis, the company said.

Verisity also added that the Specman Elite functionality is extended with the eRM, a complete reuse model for employing consistent, extensible, plug-and-play verification environments and components.