Felix Winterstein

• Separation Logic for High-level Synthesis