Separation Logic for High-level Synthesis

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 5 X posts from 4 X users, with an upper bound of 9,270 followers.

Get it on libgen.io also! https://t.co/PEzj2rUCiY

High Level Synthesis PhD https://t.co/0sShVZAbsR

RT @gconstantinides: Latest techniques for memory in high level synthesis: New book by Felix Winterstein with foreword from yours truly! ht…

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 1 additional X posts.