Skip to main content

Browsing by Author Trippel, C

Showing results 1 to 1 of 1
Publication DateArticle TitleAuthor(s)
4-Apr-2017TriCheck: Memory model verification at the trisection of software, hardware, and ISATrippel, C; Manerkar, YA; Lustig, D; Pellauer, M; Martonosi, Margaret R.