Hierarchical synthesis based on pareto-optimal fronts | IEEE Conference Publication | IEEE Xplore