Intrinsity has designed an innovative embedded microprocessor for applications requiring very high performance, such as real-time signal processing tasks with large amounts of data. Traditionally, these applications have required hardware solutions such as ASICs, FPGAs, or DSPs. The Intrinsity FastMATHTM adaptive signal processorTM device, operates at 2 GHz clock speed and features an on-chip m...

The need for small, reliable, and accurate microsystems that can remotely monitor earth and extraterrestrial environments has increased demand for single-chip microinstruments with long lifetimes. This paper presents work toward a monolithic, lowpower, mixed-signal microcontroller that is capable of measuring, processing, and storing data from liquid chemical sensors. The system consists of a p...

This paper examines the effect of technology scaling and microarchitectural trends on the rate of soft errors in CMOS memory and logic circuits. We describe and validate an end-to-end model that enables us to compute the soft error rates (SER) for existing and future microprocessor-style designs. The model captures the effects of two important masking phenomena, electrical masking and latchingw...

This report introduces RAMP, an architectural model for long-term processor reliability measurement. With aggresive transistor scaling and increasing processor power and temperature, reliability due to wear-out mechanisms is expected to become a significant issue in microprocessor design. Reliability awareness at the microarchitectural design stage will soon be a neccessity and RAMP provides a ...

A compact, two-stage R-404A / R-508b cascade refrigeration system designed for interface with a high-performance microprocessor is under development. Such a system, designed to remove 100 W at –70 °C, can avoid the high cost of deep cryogenic cooling. Because thermal interface design is critical in maintaining low chip temperatures, a compact, microchannel evaporator is used. A chemically micro...

Since the first introduction of the microprocessor, various kinds of microprocessors have been developed. There have been remarkable achievements both in the level of integration and processing speed. However, most microprocessors develqped to date are oriented to device control applications or low class minicomputer replacement. It is true that some bit-sliced microprocessors can operate at ve...

v Acknowledgements vii Executive Summary ix 1 Background and Introduction 1 1.1 Goals of Model-Based Verification Efforts 1 1.2 Structure and Content of the Report 2 2 Model-Based Verification 3 2.1 The Model-Based Verification Paradigm 3 2.2 Context and Related Work 6 2.3 Model-Based Verification in Software Upgrades 6 3 Technical Aspects of Model-Based Verification 9 3.1 Models 9 3.2 Formalis...

The instruction-level parallelism found in a conventional instruction stream is limited. Studies have shown the limits of processor utilization even for today's superscalar microprocessors. One solution is the additional utilization of more coarse-grained parallelism. The main approaches are the (single) chip multiprocessor and the multithreaded processor which optimize the throughput of multip...

management is not critical for the MCM2 design, this design will provide information about the heat management scheme to be employed in the MCM3 design which will use GaAs chips with high thermal budget. Figure 4 shows the projected schematic cross section of the final microprocessor system MCM3 incorporating the concepts discussed. This MCM will incorporate a processor chip with fixed point an...