A Datapath Generator for Full-Custom Macros of Iterative Logic Arrays.

Michael Gansen Frank Richter Oliver Weiss Tobias G. Noll

Published in: ASAP (1997)

Keyphrases

domain specific
modal logic
classical logic
predicate logic
proof theory
logic programming
key features
asynchronous circuits
high speed
data driven
application specific
probability theory
modal operators
epistemic logic
truth values
nonmonotonic logics
iterative process
database
data structure
data mining