Multi-level logic optimization of FSM networks.
Huey-Yih WangRobert K. BraytonPublished in: ICCAD (1995)
Keyphrases
- optimization problems
- optimization algorithm
- global optimization
- social networks
- finite state machines
- optimization process
- neural network
- optimization method
- optimization methods
- classical logic
- artificial intelligence
- case study
- objective function
- computer networks
- cellular networks
- sound and complete axiomatization