Title: Separation Logic for High-level Synthesis
Subjects: Logic, Data structures (computer science)