EE Times-Asia

Home | Login | Register Now [Jan 09,2009]

For Registered Users

Formal verification of an MPEG decoder chip
Author: Avi Parash

This article outlines the application of formal verification through model checking of the control unit in a DVD decoder chip.

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
Lexar, FlashRite to deliver content for flash media (2009-01-09) Tower Semi receives $20M investment (2009-01-09) Panasonic, Comcast to bring HDMI-CEC to STBs (2009-01-09) Report: ultraslim TVs key to FPD TV growth (2009-01-09) HDMI readies for home networks (2009-01-09) EC raids Infineon, ST, NXP for price fixing (2009-01-09) Toshiba shelves 3D, pushes Cell TV (2009-01-09) Tough '09 awaits fab-tool, materials sector (2009-01-09)

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)

India Newsletter

1.Hybrid solutions ease embedded devt

2.Use system modelling for AMBA

3.DSPs integrate automotive bus standards

4.Use comparators for mixed-signal apps

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 © 2009 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.