Loading [a11y]/accessibility-menu.js
The fallacy of spec-based design | IEEE Conference Publication | IEEE Xplore

The fallacy of spec-based design


Abstract:

The architectural reference model, a critical tool in microprocessor validation, serves as a gold standard against which a microprocessor is compared. As all validation i...Show More

Abstract:

The architectural reference model, a critical tool in microprocessor validation, serves as a gold standard against which a microprocessor is compared. As all validation is performed using it, the reference model must be timely, extensible beyond the original specification, customizable for specific usage models, and, most importantly, functionally flawless. Ideally, we would like a specification-based design flow that transforms the published English language specifications into compilable code that is directly incorporated into the reference model without loss of information or accuracy. At Intel, we have developed and implemented such a flow to create the Itanium Processor Family's (IPF) reference model, which is used to validate all IPF processors. In this paper, we describe the benefits and limitations of this process and discuss the practical implications of specification-based design.
Date of Conference: 22-27 September 2003
Date Added to IEEE Xplore: 14 October 2003
Print ISBN:0-7695-1949-0
Conference Location: Brisbane, QLD, Australia

References

References is not available for this document.