Target architectures in the CATHEDRAL synthesis systems: objectives and impact | IEEE Conference Publication | IEEE Xplore