Learn More
Rips (1989) is one of the most widely cited demonstrations of the relevance of critical features in conceptual structure. A critical feature will impose constraints on how an object is classified, regardless of other factors, such as overall similarity. We review and clarify critical features proposals in terms of whether an assumption is being made about(More)
This paper describes the verification methods and techniques that were established to verify the microarchitecture and architectural correctness of the z990 microprocessor and storage subsystem. The ring-based, four-book storage subsystem links 64 superscalar microprocessors together in this system. The verification process started at the unit level, which(More)
  • 1