Wave Pipelining Using Self Reset Logic.

Miguel Eduardo Litvin Samiha Mourad

Published in: VLSI Design (2008)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
multiscale
automated reasoning
multi valued
parallel processing
proof theory
wave propagation
sea surface
knowledge base
wave equation
dynamic logic
deontic logic
defeasible logic
logical framework
case study