Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning.
Ingmar NeumannDominik StoffelKolja SulimmaMichel R. C. M. BerkelaarWolfgang KunzPublished in: ICCD (2004)
Keyphrases
- optimization algorithm
- knowledge base
- knowledge representation
- optimization problems
- optimization process
- reasoning process
- global optimization
- reasoning tasks
- optimization method
- high level synthesis
- layout design
- rule based reasoning
- consistency checking
- reasoning systems
- constrained optimization
- real time
- high speed
- multi objective
- objective function
- bayesian networks
- artificial intelligence