Carlos Jorge Chumbinho Tavares
José T. de Sousa
,

Inesc-ID

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: