Global Sources
EE Times-India
Stay in touch with EE Times India
EE Times-India > Amplifiers/Converters

Formal verification of an MPEG decoder chip

Posted: 01 Jun 2001     Print Version  Bookmark and Share

Keywords:mpeg2  verilog  dvd  formal verification 

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.

Comment on "Formal verification of an MPEG decod..."
*  You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.


Go to top             Connect on Facebook      Follow us on Twitter      Follow us on Orkut

Back to Top