Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability.
Yexin ZhengChao HuangPublished in: DATE (2009)
Keyphrases
- programmable logic
- computational properties
- multi valued
- modal logic
- logical implication
- logic programming
- np complete
- satisfiability problem
- propositional theories
- automated reasoning
- defect detection
- computational complexity
- real time
- field programmable gate array
- decision procedures
- bounded model checking
- description logics
- phase transition
- probabilistic model
- pairwise
- cnf formula
- image processing
- computer vision