Asynchronous sum-of-products logic minimization and orthogonalization.

Igor Lemberski Petr Fiser Ruslan Suleimanov

Published in: Int. J. Circuit Theory Appl. (2014)

Keyphrases

objective function
asynchronous circuits
delay insensitive
logic programming
weighted sum
multi valued
sound and complete axiomatization
case study
predicate logic
classical logic
modal logic
logical framework
set theory
t norm
online discussion
content analysis
proof theory
search algorithm