Imperial College London > Talks@ee.imperial > CAS Talks > The Role of Computer-Assisted Numerical Proofs in Efficient Hardware Design

The Role of Computer-Assisted Numerical Proofs in Efficient Hardware Design

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

If you have a question about this talk, please contact George A Constantinides.

This talk will be a preview of a seminar I’m giving at Dagstuhl next week (see http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=09471 for background).

I will introduce FPGA -based computation to an audience likely largely unfamiliar with the idea, before discussing the problem of using numerical precision to optimize performance. I will present a novel formulation of this idea, using tools I have not discussed before, and use a toy example to illustrate the points I make.

Finally, I will present some results from the paper David is about to submit.

This talk is part of the CAS Talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Changes to Talks@imperial | Privacy and Publicity