» Verifying a Multiprocessor Cache Controller Using Random Test Generation

| Sorted by Date | Classified by Faculty |

David A. Wood, Garth A. Gibson, and Randy H. Katz. Verifying a Multiprocessor Cache Controller Using Random Test Generation. IEEE Des. Test Comput., 7(4):13-25, 1990.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @article{DBLP:journals/dt/WoodGK90,
   author    = {David A. Wood and
                Garth A. Gibson and
                Randy H. Katz},
   title     = {Verifying a Multiprocessor Cache Controller Using Random Test Generation},
   journal   = {{IEEE} Des. Test Comput.},
   volume    = {7},
   number    = {4},
   pages     = {13--25},
   year      = {1990},
   url       = {https://doi.org/10.1109/54.57906},
   doi       = {10.1109/54.57906},
   timestamp = {Sun, 17 May 2020 01:00:00 +0200},
   biburl    = {https://dblp.org/rec/journals/dt/WoodGK90.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

Generated by bib.pl (written by Patrick Riley ) on Mon Sep 27, 2021 15:47:03 time=1207019082