Carlos Jorge Chumbinho Tavares
José T. de Sousa
,

R – INESC-ID Lisboa

Abstract:

In this talk a SAT solver implemented in an FPGA and using a soft processor (MicroBlaze) will be described

 

Date: 2004-Nov-18     Time: 11:00:00     Room: 336


For more information: