Separation Logic for High-level Synthesis
Felix Winterstein
Separation Logic for High-level Synthesis - Springer 2017
978-3-319-53222-6
"Engineering; Circuits and Systems; Memory Structures; Logic Design; Programming Languages, Compilers, Interpreters"
Separation Logic for High-level Synthesis - Springer 2017
978-3-319-53222-6
"Engineering; Circuits and Systems; Memory Structures; Logic Design; Programming Languages, Compilers, Interpreters"