ARM Technical Support Knowledge Articles

Does the ARM7EJ-S support logical equivalence?

Applies to: ARM7EJ-S


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

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