Login / Signup

SAT-Based Formulation for Logical Capacity Evaluation of VIA-Configurable Structured ASIC.

Vinícius Dal BemFelipe S. MarranghelloAndré Inácio ReisRenato P. Ribas
Published in: IEEE Trans. Emerg. Top. Comput. (2017)
Keyphrases
  • structured data
  • evaluation method
  • general purpose
  • application specific
  • integrated circuit
  • evaluation model
  • lower bound
  • answer set programming
  • design methodology