Automatic pipelining from transactional datapath specifications