Entry Zurawski:1995:DVA from dectechj.bib

Last update: Thu Sep 27 02:13:54 MDT 2018                Valid HTML 4.0!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Zurawski:1995:DVA,
  author =       "John H. Zurawski and John E. Murray and Paul J.
                 Lemmon",
  title =        "The Design and Verification of the {AlphaStation} 600
                 5-series Workstation",
  journal =      j-DEC-TECH-J,
  volume =       "7",
  number =       "1",
  pages =        "89--99",
  month =        "Winter",
  year =         "1995",
  CODEN =        "DTJOEL",
  ISSN =         "0898-901X",
  bibdate =      "Thu Mar 20 18:15:43 MST 1997",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/dectechj.bib",
  URL =          "ftp://ftp.digital.com/pub/Digital/info/DTJ/v7n1/The_Design_and_Verification_o_01jul1995DTJH07P8.ps;
                 http://www.digital.com:80/info/DTJH07/DTJH07SC.TXT",
  abstract =     "The AlphaStation 600 5-series workstation is a
                 high-performance, uniprocessor design based on the
                 Alpha 21164 microprocessor and on the PCI bus. Six CMOS
                 ASICs provide high bandwidth, low-latency interconnects
                 between the CPU, the main memory, and the I/O
                 subsystem. The verification effort used directed,
                 pseudorandom testing on a VERILOG software model. A
                 hardware-based verification technique provided a test
                 throughput that resulted in a significant improvement
                 over software tests. This technique currently involves
                 the use of graphics cards to emulate generic DMA
                 devices. A PCI hardware demon is under development to
                 further enhance the capability of the hardware based
                 verification.",
  acknowledgement = ack-nhfb,
  classcodes =   "C5430 (Microcomputers); C5130 (Microprocessor chips);
                 C5220 (Computer architecture)",
  classification = "C5130 (Microprocessor chips); C5220 (Computer
                 architecture); C5430 (Microcomputers)",
  keywords =     "Alpha 21164 microprocessor; AlphaStation 600 5-series
                 workstation; computer architecture; DEC computers;
                 Design; design; microprocessor chips; PCI bus; software
                 model; uniprocessor; Uniprocessor; verification;
                 Verification; VERILOG; VERILOG software model;
                 workstations",
  thesaurus =    "Computer architecture; DEC computers; Microprocessor
                 chips; Workstations",
  treatment =    "P Practical; R Product Review",
}

Related entries