Retiming-based factorization for sequential logic optimization.

Surendra Bommu Niall O'Neill Maciej J. Ciesielski

Published in: ACM Trans. Design Autom. Electr. Syst. (2000)

Keyphrases

logic programming
modal logic
optimization problems
optimization algorithm
optimization method
global optimization
optimization process
data sets
case study
database systems
singular value decomposition
automated reasoning
classical logic
multibody
optimization strategies