Multilevel logic optimization of very high complexity circuits.
Luc BurgunN. DictusAlain GreinerE. Prado LopesC. SarwaryPublished in: EURO-DAC (1994)
Keyphrases
- delay insensitive
- logic synthesis
- digital circuits
- asynchronous circuits
- logic circuits
- modal logic
- high speed
- optimization problems
- optimization algorithm
- global optimization
- artificial intelligence
- optimization strategies
- automated reasoning
- optimization process
- logic programming
- discrete optimization
- proof theory
- case study
- neural network
- random access memory