An ILP formulation for yield-driven architectural synthesis | IEEE Conference Publication | IEEE Xplore