Accurate and Efficient Three Level Design Space Exploration Based on Constraints Satisfaction Optimization Problem Solver | IEEE Conference Publication | IEEE Xplore