Automatic multithreaded pipeline synthesis from transactional datapath specifications