Passive precharge and rippled power logic (PPRPL).

Samuel B. Schaevitz Christopher Lin

Published in: ISLPED (1999)

Keyphrases

logic programming
power consumption
chip design
modal logic
predicate logic
logical framework
information retrieval
website
relational databases
automated reasoning
classical logic
defeasible logic
formal theory
deontic logic
logic synthesis
sound and complete axiomatization