EE Times-Asia

For Registered Users

Automate formal verification for OCP
Author: Jeroen Vliegen

The automation of formal protocol verification using VIPs enables a rapid and exhaustive verification of critical IP interfaces. Once a VIP library is written and tested, it can be re-used to improve the verification quality and shorten the verification schedule. VIPs can also be used to ease the verification of high-level system properties since they provide a "free" environment.

Please login or register with us to view this article>>

Not yet registered?

Quick Register now and be part of the EE Times Asia community!

Email address:
Password:
Confirm password:
Company name:
Job function:
Products/Services:

Click hereto fill out other information details. You can also subscribe to eeNews and apply to receive a copy of the magazine.

Registered already? Login to view complete content.

Email address:
Password:
	Password is case-sensitive.
	Remember password Forgot your password?

	If you have already registered on the following websites, please log in using your email address and password
EE Times-Asia sites: EE Times-India EE Times-Taiwan EE Times-Korea EE Times-China Analog/Mix signal Power Systems Embedded Design India Power Design India Home Entertainment Handheld Device Industrial Controls Auto Electronics

If you have already registered on the following websites, please log in using your email address and password

EE Times-Asia sites:

	Latest News
Capacitive sensing with PIC10F (2008-12-05) Hospital-on-a-chip readies for duty (2008-12-05) Tandem to work on CMMB solutions for PCTV (2008-12-05) iSuppli: Expect flat, even down HDD shipments (2008-12-05) Alcatel-Lucent to provide CDMA solution to China Telecom (2008-12-05) Judge: Tessera's patents valid, but not infringed (2008-12-05) Report: Samsung is solar patent king (2008-12-05) Analysis: Infineon faces stormy weather (2008-12-05)

Talkback

eeForum:
Demystifying Vietnam
What does Vietnam offer that a rising number of top-tier semiconductor companies are setting up and expanding operations there?

Top tech resources

1.Web server design using soft processor(1,287views)

2. Address challenges in DVB-H (1,254views)

3. Using GMR sensors with scan interface (974views)

4. Simple glass breakage detector (970views)

5. Serial flash boot loader (883views)

Go to top

eMedia Asia	EE Times - India\|Embedded Design India\|Power Design - India\|\|\|
Global Sources	\|\|\|Electronic Components\|Computer Products\|Trade Show Center
TechInsights	EE Times\|ESM Online\|EE Times JAPAN

Copyright © 2008 eMedia Asia Ltd. All rights reserved. Reproduction in whole or in part in any form or medium without the express written permission of eMedia Asia Ltd.
is prohibited. Warning: The images on this site are protected by digital watermark technology. Your use of this website is subject to, and constitutes acknowledgement
and acceptance of our Terms of Use.