|ARM Technical Support Knowledge Articles|
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
Did you find this article helpful? Yes No
How can we improve this article?