Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

On the improvement of detection characteristics of trans-stilbene crystals by improving crystal perfection

Organic molecular scintillating crystals are noted for their good timing and particle discrimination process. Trans-stilbene is one such candidate noted for its good particle detection characteristics for the past five decades. Progressive strengthening of detection characteristics of trans-stilbene has been attempted by improving crystal perfection. A series of timing resolution studies have been carried out for the Bridgman grown trans-stilbene crystals under different experimental conditions. The results were compared with the previously reported values. Pulse shape discrimination process has been carried out for ²⁴¹Am and ²⁵²Cf sources and good discrimination has been obtained for gamma-alpha and gamma-neutron sources from the grown organic phosphor crystal. Electronic Publication     

A transmit/receive IF chip set for WCDMA mobiles in 0.35 /spl mu/m CMOS

An implementation of the IF section of WCDMA mobile transceivers with a set of two chips fabricated in an inexpensive 0.35-/spl mu/m two-poly three-metal CMOS process is presented. The transmit/receive chip set integrates quadrature modulators and demodulators, wide dynamic range automatic gain control (AGC) amplifiers, with linear-in-decibel gain control, and associated circuitry. This paper describes the problems encountered and the solutions envisaged to meet stringent specifications, with process and temperature variations, thus overcoming the limitations of CMOS devices, while operating at frequencies in the range of 100 MHz-1 GHz. Detailed measurement results corroborating successful application of the new techniques are reported. A receive AGC dynamic range of 73 dB with linearity error of less than /spl plusmn/2 dB and spread of less than 5 dB for a temperature range of -30/spl deg/C to +85/spl deg/C in the gain control characteristic has been measured. The modulator measurement shows a carrier suppression of 35 dB and sideband/third harmonic suppression of over 46 dB. The core die area of each chip is 1.5 mm/sup 2/.     

Development of nano indium tin oxide (ITO) grains by alkaline hydrolysis of In(III) and Sn(IV) salts

Indium tin oxide (ITO) nano powders of different compositions (In: Sn = 90: 10, 70: 30 and 50: 50) were prepared by heat treatment (300-450°C) of mixed hydroxides of In(III) and Sn(IV). The hydroxides were obtained by the reaction of aq. NH₃ with mixed aq. solutions of In(NO₃)₃ and SnCl₄. FTIR and TG/DTA studies revealed that powders existed as In(OH)₃H₂O—SnO₃H₂H₂O in the solid state and then they transformed to In₂O₃—SnO₂ via some metastable intermediates after 300°C. Cubic phase of In₂O₃ was identified by XRD for the oxides up to 30% of Sn. Particle size measurements of the solid dispersed in acetone and SEM study for microstructure showed that the oxides were in the nano range (55-75 nm) whereas the size range determined from Debye-Scherrer equation were 11–24 nm.