FPGA PLB Evaluation using Quantified Boolean Satisfiability.

Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown

Browse the full FPL paper archive.