{ System level design and behavior transformations have been rapidly establishing themselves as design steps with the most inuential impact onnal performance metrics, throughput and latency, o f a design. In this paper we develop a formal ILPbased approach for throughput and latency optimization when algorithm-architecture matching, retiming, and pipelining are considered simultaneously. The effectiveness of the approach is demonstrated on several real-life examples.