Text this: Scheduling and allocation in high-level synthesis using stochastic techniques