Abstract: Described is a data cache implementing hybrid writebacks and writethroughs. A processing system includes a memory, a memory controller, and a processor. The processor includes a data cache including cache lines, a write buffer, and a store queue. The store queue writes data to a hit cache line and an allocated entry in the write buffer when the hit cache line is initially in at least a shared coherence state, resulting in the hit cache line being in a shared coherence state with data and the allocated entry being in a modified coherence state with data. The write buffer requests and the memory controller upgrades the hit cache line to a modified coherence state with data based on tracked coherence states. The write buffer retires the data upon upgrade. The data cache writebacks the data to memory for a defined event.

Abstract: Systems and methods are disclosed for generation and testing of integrated circuit designs with clock crossings between clock domains. These may allow for the rapid design and testing (e.g. silicon testing) of processors and SoCs. Clock crossings may be automatically generated between modules, inferring the values of design parameters, such as a signaling protocol (e.g. a bus protocol), directionality, and/or a clock crossing type (e.g., synchronous, rational divider, or asynchronous), of a clock crossing. For example, implicit classes may be used to generate clock crossings in a flexible manner. For example, these system and methods may be used to rapidly connect a custom processor design, including one or more IP cores, to a standard input/output shell for a SoC design to facilitate rapid silicon testing of the custom processor design.

Abstract: Systems and methods are disclosed for generation and testing of integrated circuit designs with clock crossings between clock domains. These may allow for the rapid design and testing (e.g. silicon testing) of processors and SoCs. Clock crossings may be automatically generated between modules, inferring the values of design parameters, such as a signaling protocol (e.g. a bus protocol), directionality, and/or a clock crossing type (e.g., synchronous, rational divider, or asynchronous), of a clock crossing. For example, implicit classes may be used to generate clock crossings in a flexible manner. For example, these system and methods may be used to rapidly connect a custom processor design, including one or more IP cores, to a standard input/output shell for a SoC design to facilitate rapid silicon testing of the custom processor design.

Abstract: Systems and methods are disclosed for generation and testing of integrated circuit designs with point-to-point connections between modules. These may allow for the rapid design and testing (e.g. silicon testing) of processors and SoCs. For example, type parameterization may be used to generate point-to-point connections in a flexible manner. For example, a point-to-point connection between the source module and the sink module that includes one or more named wires specified by bundle type may be automatically generated based on using the bundle type as a type parameterization input. For example, these system and methods may be used to rapidly connect a custom processor design, including one or more IP cores, to a standard input/output shell for a SoC design to facilitate rapid silicon testing of the custom processor design.

Abstract: Systems and methods are disclosed for automated generation of integrated circuit designs and associated data. These allow the design of processors and SoCs by a single, non-expert who understands high-level requirements; allow the en masse exploration of the design-space through the generation processors across the design-space via simulation, or emulation; allow the easy integration of IP cores from multiple third parties into an SoC; allow for delivery of a multi-tenant service for producing processors and SoCs that are customized while also being pre-verified and delivered with a complete set of developer tools, documentation and related outputs. Some embodiments, provide direct delivery, or delivery into a cloud hosting environment, of finished integrated circuits embodying the processors and SoCs.

Abstract: System and method for installing a driver for a hardware device. An install system includes a decision mechanism that determines if the hardware device is connected to the computer system, and a user interface that instructs a user to connect the hardware device if it is determined that the hardware device is not connected to the computer system. A driver installer then installs the driver for the hardware device if it is determined that the hardware device is connected to the computer system. An install method includes determining if the hardware device is connected to the computer system, instructing a user to connect the hardware device if it is determined that the hardware device is not connected to the computer system, and then installing the driver for the hardware device if it is determined that the hardware device is connected to the computer system.

Abstract: A lathe (10) having a lathe bed (11) on which is mounted a cutting station at which a cutting tool (13) can be mounted, a guide defining a guide path for guiding relative feeding movement between a workpiece holder (14) and the cutting tool (13), and drive means (15) for relatively moving the workpiece and the cutting tool (13) to engagement with each other. In order to provide a gap-swing facility, and avoid present requirement in known lathes to provide a “removable gap-piece”, the invention provides a guide in the form of three parallel guide elements, namely a main front guide-way (17), a tailstock bed-way (18) and a rear ante-roll guide-way (19), which are spaced apart from each other and relative to the centre line (16) of the workpiece holder (14). The three parallel guide elements in the invention provide a permanent gap or cavity in the lathe bed structure (11), to provide the required gap-swing facility and substantially without loss of guide-way support.

Abstract: System and method for implementation of an install system that provides for installing a driver for a hardware device on a computer system. The install system includes a decision mechanism that determines if the hardware device is connected to the computer system, and a user interface that instructs a user to connect the hardware device if it is determined that the hardware device is not connected to the computer system. A driver installer then installs the driver for the hardware device if it is determined that the hardware device is connected to the computer system. The method for installing a driver for a hardware device on a computer system includes the steps of determining if the hardware device is connected to the computer system, instructing a user to connect the hardware device if it is determined that the hardware device is not connected to the computer system, and then installing the driver for the hardware device if it is determined that the hardware device is connected to the computer system.

Abstract: A lathe (10) has a lathe bed (11) on which is mounted a cutting station at which a cutting tool (13) can be mounted, a guide defining a guide path for guiding relative feeding movement between a workpiece holder (14) and the cutting tool (13), and drive means (15) for relatively moving the workpiece and the cutting tool (13) to engagement with each other. In order to provide a gap-swing facility, and avoid the present requirement in known lathes to provide a “removable gap-piece”, the invention provides a guide in the form of three parallel guide elements, namely a main front guide-way (17), a tailstock bed-way (18) and a rear ante-roll guide-way (19), which are spaced apart from each other and relative to the center line (16) of the workpiece holder (14). The three parallel guide elements (17, 18, 19) gap or cavity so that the required gap-swing facility is provided substantially without loss of guide-way support.

Abstract: A control unit for single and double track blinds is provided and consists of a sprocket wheel having a hub rotatably carried in the center of a passageway within a housing. An operating handle extends into the hub that extends through a central aperture in a front cover plate on the housing. The operating handle can be turned to rotate the sprocket wheel, thus driving a bead chain through the passageway to operate louvers in the single and double track blinds.

Abstract: Tungsten carbide tools are provided having improved wear properties which tools produce an improved surface finish on workpieces cut with said tools, both initially and after extended use. The tools are prepared by a process which comprises applying a coating of a Group IVB or VB metal of the Periodic Chart of the Elements over the tool, diffusing said metal into the tool and removing any excess of the metal from the surface of the tool, possibly by further diffusion of the metal into the tool. The preferred method is by gaseous decomposition of a metal halide in an atmosphere which does not contain a carbon source such as methane, used in some previous processes. The source of the carbon in the Group IVB or VB metal carbide is the carbon in the carbide tool being coated. Tools formed in accordance with the invention have wear properties such that they typically last at least four times as long as untreated tools and under most preferred conditions, as much as nine times as long as untreated tools.

Abstract: Blood is preserved by combining samples with a preservative reagent consisting of an aqueous mixture of a mono-, di- or trisaccharide component and formaldehyde.

Abstract: A four-element composite prism assembly for splitting an incident beam into three colour components, the first and second pairs of elements being separated by respective air gaps, and colour separation occurring at respective spectrally selective dichroic coatings between the second and third and the third and fourth prism elements respectively, the separated colour components being directed in different directions by total internal reflection at the air gaps. To achieve the optimum separation upper and lower limits are defined in the claims for the apex angles of the three prism elements.