Learn More
The Open University's repository of research publications and other research outputs SDSS-III: massive spectroscopic surveys of the distant universe, the Milky Way, and extra-solar planetary systems Journal Article Eisenstein et al. ABSTRACT Building on the legacy of the Sloan Digital Sky Survey (SDSS-I and II), SDSS-III is a program of four spectroscopic(More)
  • Robert Beers
  • 2008
During the recent development of a next-generation Intel processor, the project's formal verification team verified a new coherence protocol and portions of its RTL implementation against the protocol's specification within project deadlines. Typically, FV teams apply formal property verification (FPV) after RTL is coded and, though it continues to be an(More)
  • 1