Boolean decomposition in multi-level logic optimization.

Srinivas Devadas Albert R. Wang A. Richard Newton Alberto L. Sangiovanni-Vincentelli

Published in: ICCAD (1988)

Keyphrases

multi valued
boolean logic
logic synthesis
global optimization
real valued
optimization problems
logic programming
optimization algorithm
optimization methods
boolean functions
multi layer
decomposition method
database
description logics
modal logic
optimization process