Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning.
Ingmar NeumannDominik StoffelKolja SulimmaMichel R. C. M. BerkelaarWolfgang KunzPublished in: MBMV (2004)
Keyphrases
- optimization process
- knowledge base
- global optimization
- reasoning tasks
- optimization problems
- data driven
- reasoning process
- qualitative reasoning
- model based reasoning
- optimization algorithm
- reasoning systems
- analog vlsi
- data sets
- digital circuits
- discrete optimization
- consistency checking
- optimization model
- floating point
- optimization method
- knowledge representation
- evolutionary algorithm
- bayesian networks
- web pages