Exploiting local logic structures to optimize multi-core SoC floorplanning.

Cheng-Hong Li Sampada Sonalkar Luca P. Carloni

Published in: DATE (2010)

Keyphrases

modal logic
low power
classical logic
logic programming
data mining
information retrieval
decision trees
case study
multi agent
power consumption
temporal logic
hardware and software
proof theory