University of Cambridge > > Computer Laboratory Automated Reasoning Group Lunches > Some "Real World" Problems in the Analog and Mixed Signal Domains

Some "Real World" Problems in the Analog and Mixed Signal Domains

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Thomas Tuerk.

Speaker: Kevin Jones

In this talk, we will discuss the design approaches commonly used for mixed mode systems. We will present a synopsis of the way such systems are currently verified in industry and talk about some of the drawbacks of these approaches. We will give a collection of interesting “real world” examples – examples drawn from actual failures of real designs but reduced to their essential elements to make them of a suitable size for academic study – and show some of the key concerns analog/mixed mode designers have in practice. We will present digital, analog and mixed mode examples. Finally, to seed what we hope will be an on-going discussion, we will illustrate some of the novel approaches we are developing to these issues, particularly in the analog domain.

About Dr. Kevin Jones:

Dr. Kevin D. Jones is an Engineering Director at Rambus Inc, Los Altos, CA. He holds a Ph.D. in Computing Science from the University of Manchester, a M.Sc. in Computation from Oxford University and a B.Sc. in Computer Science from the University of Reading.

Dr. Jones’s areas of interest cover practical and theoretical approaches to design and verification of digital and analog circuits and systems. Prior to joining Rambus, he was a member of Research Staff at DEC ’s System Research Center, working in the area of formal methods. Previously, he had been a member of both academic and industrial research groups in the UK, working in the areas of formal specification and verification. For the last 14 years at Rambus, he has been working on, and leading groups working on, practical verification for high speed digital/analog designs. He is currently leading a technology development team focusing on novel design and verification tools and methods for this class of designs.

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity