Software aids verification environment development

eAnalyzer is an intuitive static analysis and verification methodology compliance system that simplifies verification environment development.

eAnalyzer is an intuitive static analysis and verification methodology compliance system that simplifies verification environment development.

eAnalyzer allows engineers to easily adopt best practices at the module and system level by supporting Verisity's eReuse methodology (eRM) which is the foundation of the recently announced System Verification Methodology (sVM).

eAnalyzer facilitates verification component reuse, enabling easy creation of highly automated, high-quality, consistent chip-level verification environments using best-known guidelines.

eAnalyzer will also support the emerging IEEE e standard verification language.

eAnalyzer provides a complete suite of static analysis and verification methodology checks that automatically ensure that engineers are developing their verification environments or components using eRM defined guidelines based on a coverage-based approach.

Including these methodology checks, eAnalyzer includes a total of eight classes of rule checks, four of which are industry standard syntax, semantics, lint and style analyses.

The remaining rule checks include verification-specific analyses such as generation and performance profiling.

eAnalyzer also supports the IEEE approved version of the e verification language - P1647.

Earlier this year, Verisity announced that the IEEE Design Automation Standards Committee (DASC) approved a project authorisation request to use the e language as a basis for standardisation.

eAnalyzer will ensure that code development follows the IEEE standard, enabling easy reuse for future projects.

"eAnalyzer is a key addition to an engineers' verification tool suite as it enables engineers to develop verification environments effortlessly by ensuring that they are following proven guidelines", said Joseph Hupcey III, Product Marketing Manager for Verisity.

"eAnalyzer is completely unique as it is the only tool that enforces a proven verification reuse methodology with IEEE P1647 compliance.

With eAnalyzer, engineers develop their module or system-level verification environments easily, with the added assurance of easy re-use on subsequent projects".

eAnalyzer includes the following analysis categories, comprising specific subcategories of checking and reporting.

Software: includes syntax and semantic, lint, and style checks in the spirit of software static analysis tools.

This allows users to find questionable code and coding styles, identify reuse and porting issues, and generally accelerate the setup, debug, and integration of their verification environment.

Verification: the checks in the generation and performance subcategories allow users to review and tune their code for maximum performance.

Methodology: checks specific to coverage-driven verification and eRM are provided to guide users in successfully implementing these two time-tested methodologies.

For eRM in particular, eAnalyzer can automatically generate an eRM compliance report that enumerates the code's conformance to each element of the eRM checklist.

Additionally, eAnalyzer's intuitive GUI-based operation supports cross-window probing between messages and code, point and click locator bars for quick code navigation, and layerable message filters.

These features all combine to simplify important operations for novice and expert users alike.

eAnalyzer is available now on the Linux Operating System, Solaris and HP workstations running HP-UX.

The price is US $22,000 for an annual licence and maintenance.

Back to top