A global optimization approach for architectural synthesis | IEEE Conference Publication | IEEE Xplore