Adam Bauserman

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Andrew DeOrio, Adam Bauserman, Valeria Bertacco, Beth Isaksen
Inferno: Streamlining Verification With Inferred Semantics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (5) (2009)
Andrew DeOrio, Adam Bauserman, Valeria Bertacco
Post-silicon verification for cache coherence. ICCD (2008)
Andrew DeOrio, Adam Bauserman, Valeria Bertacco
Chico: An On-chip Hardware Checker for Pipeline Control Logic. MTV (2007)