Efficient Verification and Optimization of Real-Time Logic-Specified Systems.
Stefan AndreiAlbert Mo Kim ChengPublished in: IEEE Trans. Computers (2009)
Keyphrases
- real time
- asynchronous circuits
- expert systems
- low cost
- digital circuits
- real time systems
- logic programming
- genetic algorithm
- telecommunication systems
- global optimization
- building blocks
- cell processor
- computer systems
- vision system
- optimization problems
- high speed
- management system
- mobile robot
- information systems