Talk on Digital Convergence Demands on Design & Verification

SpeakerHarry Foster
Organization Mentor Graphics
LocationEB2 1231
Start Date November 20, 2007 11:00 AM
End Date November 20, 2007 12:15 PM

Title: Digital Convergence Demands on Design & Verification

Presenter: Harry Foster, Chief Engineer, Mentor Graphics Corporation, Design Verification and Test

Abstract: Digital convergence (the point at which technology becomes transparent) is providing a direct gateway into the diverse world of digital content—and is changing our lives. In the future (which is sooner than you might think), almost every device will be a network device. The virtual office will fit nicely in your pocket providing access to telephone, email, video conferencing, fax, spreadsheets, presentations, Internet—all controlled through speech recognition or multi-touch interactive displays. At home, the telephone, personal computer, mail, newspaper, magazines, DVD player, television, Internet, and home environment controls will all converge into a few all-purpose devices that are networked. The emerging global network will provide the plumbing for worldwide access to digital content, enabling users to shift their focus to the importance of the content and put less focus on the technical steps required to access the content.

What is required of design and verification to meet the demands brought by today’s digital convergence? This presentation explores a range of today's verification technologies (including traditional simulation, formal verification, and assertion-based verification techniques) from a perspective of their inherent strengths and weaknesses. Building on this foundation of understanding, this presentation will discuss the challenges involved in verifying many of today's digital convergence devices. Finally, this presentation will conclude with a discussion on emerging verification technologies and trends.

 
Bio:  Harry Foster is Chief Engineer for Mentor Graphics' Design Verification and Test Division, and chairs the IEEE 1850 Property Specification Language (PSL) working group. He has co-authored multiple books on verification, including the Springer books: Creating Assertion-Based IP, Assertion-Based Design, Principles of Verifiable RTL Design; and the McGraw-Hill book: Applied Formal Verification. He has contributed chapters to multiple other books, including Mentor Graphics Verification Cookbook, Springer's Advanced Formal Verification, CRC's Electronic Design Automation for Integrated Circuits Handbook. Harry was the original creator of the Accellera Open Verification Library (OVL) assertion monitor standard. He holds multiple patents in verification and was the 2006 recipient of the Accellera Technical Excellence Award for his contributions to developing industry standards.  Harry received his BSEE from the University of Maryland, and his MSCS from the University of Texas at Dallas.

  November 2007
Sun Mon Tues Wed Thu Fri Sat
    123
45678910
11121314151617
18192021222324
252627282930