A power driven two-level logic optimizer.

Jyh-Mou Tseng Jing-Yang Jou

Published in: ASP-DAC (1997)

Keyphrases

logic programming
data driven
power consumption
classical logic
modal logic
website
query optimization
chip design
databases
data sets
database systems
information systems
multi valued
logical framework
set theory
epistemic logic
deontic logic
proof theory
delay insensitive
real time