ARM Technical Support Knowledge Articles

Does the ARM7EJ-S support logical equivalence?

Applies to: ARM7EJ-S

Answer

For the latest release (r1p0) Verplex LEC logical equivalence checking scripts are provided, no Synopsys Formality scripts are provided in this release.

Article last edited on: 2008-09-09 15:47:37

Rate this article

[Bad]
|
|
[Good]
Disagree? Move your mouse over the bar and click

Did you find this article helpful? Yes No

How can we improve this article?

Link to this article
Copyright © 2011 ARM Limited. All rights reserved. External (Open), Non-Confidential