Home | Login | Register Now [Feb 10,2012]

Advanced Search

Outlook 2010 VLSI Design Conference 2010 Design trends in solar inverters

EE Times-India > Amplifiers/Converters

Amplifiers/Converters

Formal verification of an MPEG decoder chip

Posted: 01 Jun 2001

Print Version

Keywords: mpeg2 verilog dvd formal verification

[Summary of tips] This article outlines the application of formal verification through model checking of the control unit in a DVD decoder chip.View the PDF document for more information.

Not a registered user?

Already registered? Login to view complete content.

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

Editor's Choice

votes:

Add to Favorites

Kalman filtering

LSI Logic's C-Cube bid part of home ...

Comment on "Formal verification of an MPEG decod..."

Username: Visitor0210 (To avoid code verification, simply login or register with us. It is fast and free!)

Comments:	* You can enter [0] more charecters.
*Verify code:

Related Terms

What is Verilog?
The Verilog HDL is an industry-accepted standard hardware description language commonly used to design ASICs and FPGAs. The designers of Verilog wanted to design a language based on the C programming language so that it would be familiar to engineers and readily accepted. In practice, it bears only a vague resemblance to C.

What is DVD?
Digital Video Disc or Digital Versatile Disc is an optical digital disc storage media format that can be used for movies with high video and sound quality.

Highly Recommended Application Notes

•	AN-727 APPLICATION NOTE (14/06/10)
•	Cypress USB 2.0 Mass Storage Device Driver for Windows (07/06/10)
•	iCoupler isolation in RS-232 applications (14/06/10)
•	Using the MC34845 for Larger LCD Displays (01/06/10)
•	USB Design and Test – A Better Way (18/06/10)

Most Popular Articles

Nokia brings on two Windows phones

Sony takes over handset biz from Ericsson JV

ARM-based tablets continue to reign

Intel's struggles outside the PC domain

ARM scales to 64bit architecture

Imec, partners aim for organic PV tech

e-cars look to gain perfect sound experience

Researchers study graphene photodetectors

Wearable energy storage devices power garments

Smartphone app packed car infotainment booms

Search EE Times India

Max's Cool Beans

Strange modes of transport and other "stuff"

Someone just pointed me at a YouTube video that claims to show the world's first e-powered multicopter flight...

Go to top

Connect on Facebook

eMedia Asia	EE Times - Asia\|\|\|\|IIC-China
Global Sources	\|\|\|Electronic Components\|Computer Products\|Trade Show Center
TechInsights	EE Times\|ESM Online\|EE Times JAPAN

Copyright © 2012 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.