Abstract

We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating an in-order abstraction of the out-of-order execution core. Second, incremental flushing addresses the complexity difficulties encountered by automated abstraction functions on very deep pipelines. We illustrate the techniques on a model of a simple out-of-order processor core. Document type: Part of book or chapter of book

Abstract

The calculations contained in this analysis document establish the technical basis for the volume, frequency, and flushing fluid to be utilized for routine Waste Retrieval Sluicing System (WRSS) process line flushes. The WRSS was installed by Project W-320, Tank 241-C-106 Sluicing. The double contained pipelines being flushed have 4 inch stainless steel primary pipes. The flushes are intended to prevent hydrogen buildup in the transfer lines and to provide ALARA conditions for maintenance personnel. Document type: Report