Trigger-wave propagation in arbitrary metrics in asynchronous cellular logic arrays.

Przemyslaw Mroszczyk Piotr Dudek

Published in: ECCTD (2013)

Keyphrases

wave propagation
asynchronous circuits
multi valued
delay insensitive
cellular automata
transmission line
automated reasoning
classical logic
logic programming
relational structures
predicate logic
logical framework
logic programs
computational properties
defeasible logic
evaluation metrics
linear logic
modal logic