We propose the use of Monte Carlo simulations of QCD to evaluate hadronic matrix elements of local operators encountered in electroweak and grand-unified-theory transitions. Preliminary Monte Carlo estimates are made of the AS = 2 matrix elements responsible for the K L -K S mass difference and the AS = 1 operators believed to explain the A/ = \ enhancement.
The overall veriJication approach used in the design and development of the fill custom 64 bit UltraSPARC microprocessor will be described. A balanced hierarchical approach was critical in validating a design with this level of complexity. The tools, developed internally and externally, which aided the verijication effort will also be described. The environment was flexible enough to support various revisions of major tools. The method developed could easily be applied to derivative and next generation microprocessors.
This paper describes a cycle accurate model of theUltraSPMC processor. The model is written in C++, and is built on top of a powerful programmingfiamework with a built-in message-passing mechanism and a timing discipline for simulating concurrent modules. The goal was to help verify the processor by cross checking the RTL model at run time, as well as to provide accurate performance estimates. Because of Incas' much faster execution rate than the RTL, it was also used to model the UltraSPMC module in RTL simulations of the f i l l system, for compiler and library tuning, and for diagnostics development.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.