Separation logic for high-level synthesis - Winterstein, Felix (Springer, 2017)