Logic SER Reduction through Flipflop Redesign.

Vivek Joshi Rajeev R. Rao David T. Blaauw Dennis Sylvester

Published in: ISQED (2006)

Keyphrases

modal logic
logic programming
classical logic
dynamic logic
multi valued
data reduction
delay insensitive
proof theory
formal theory
genetic algorithm
database systems
business process
evolutionary algorithm
deontic logic
asynchronous circuits
relational databases
website