Verifying large-scale multiprocessors using an abstract verification environment

ABSTRACT

Due to a patent dispute, full text of this article is not available at this time.

REFERENCES

• 1: James Laudon , Daniel Lenoski, The SGI Origin: a ccNUMA highly scalable server, Proceedings of the 24th annual international symposium on Computer architecture, p.241-251, June 01-04, 1997, Denver, Colorado, United States
• 2: Asgeir Th. Eiraksson, John Keen, Alex Silbey, Swami Venkataraman, and Michael Woodacre, "Origin System Design Methodology and Experience: 1M-gate ASICs and Beyond," COMPCON-97.
• 3: John Keen and Jon Michelson, "How to Use the KML Language," SGI Internal Report.
• 4: "Spec-based Verification: A New Methodology for Functional Verification of Systems/ASICs," white paper, Verisity Design web page: www.verisity.com
• 5: Mehdi Mohtashemi, "High-Performance Functional Validation," white paper, System Science Inc company web page: www. systems.com/products/vera/vera.htm
• 6: K. D. Jones , J. P. Privitera, The automatic generation of functional test vectors for Rambus designs, Proceedings of the 33rd annual conference on Design automation, p.415-420, June 03-07, 1996, Las Vegas, Nevada, United States [doi>10.1145/240518.240598]
• 7: "The Verilog-XL Reference Manual," Cadence Design Systems, 1991.
• 8: K. Robbins and S. Robbins, "Practical UNIX Programming," Prentice Hall, 1996. p. 347-364.
• 9: "Synopsys VCS Reference Manual," Synopsys, Inc., July, 1997.
• 10: Summit Design, Inc. web page: http://www.sd.com

INDEX TERMS

Primary Classification:
  B. Hardware
  B.6 LOGIC DESIGN

Additional Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS

General Terms:
Management, Verification