5.2 高层次综合的内容 5.2.5 高层次综合中的设计空间搜索 　高层次综合的主要问题是：如何找到一个满足约束条件的最优解。为了得到最优解，必须检查庞大的设计空间。需要搜索的设计空间又是多维的、非连续空间，很难找到一个规范的搜索集来系统地搜索整个空间。而且设计空间的形状通常与问题有关，无法保证搜索整个空间。即使对于高层次综合中的某一个任务（例如有约束条件的调度问题）而言，也都是NP难题（NP - hard）。