Layout Driven Logic Restructuring/Decomposition.

Massoud Pedram Narasimha B. Bhat

Published in: ICCAD (1991)

Keyphrases

data driven
logic programming
decomposition method
automated reasoning
predicate logic
logic synthesis
classical logic
website
delay insensitive
layout design
proof theory
modal logic
image decomposition
dynamic logic
computational properties
hierarchically organized
multiscale
data mining