Separation logic for high-level synthesis - Winterstein, Felix; SpringerLink (Online service). (Cham Springer, 2017)
"Doctoral thesis accepted by Imperial College London, UK."
Electronic reproduction.
Keywords: Parallel processing (Electronic computers); Embedded computer systems -- Design; Electronic books