FPGA PLB Evaluation using Quantified Boolean Satisfiability - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown. FPGA PLB Evaluation using Quantified Boolean Satisfiability. In Tero Rissa, Steven J. E. Wilton, Philip Heng Wai Leong, editors, Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005. pages 19-24, IEEE, 2005.

The following publications are possibly variants of this publication:

FPGA PLB Architecture Evaluation and Area Optimization Techniques Using Boolean SatisfiabilityAndrew C. Ling, Deshanand P. Singh, Stephen Dean Brown. tcad, 26(7):1196-1210, 2007. [doi]

FPGA Logic Synthesis Using Quantified Boolean SatisfiabilityAndrew C. Ling, Deshanand P. Singh, Stephen Dean Brown. sat 2005: 444-450 [doi]

runs on WebDSL