Semiconductor technology scaling provides faster and more plentiful transistors to build microprocessors, and applications continue to drive the demand for more powerful microprocessors. Weaving the “raw” semiconductor material into a microprocessor that offers the performance needed by modern and future applications is the role of computer architecture. This paper overviews some of the microar...

Micro-threads are small fragments of code based on loops, can be executed concurrently and the concurrency is described parametrically in the binary code. This thesis describes a microthreaded model of concurrency and illustrates the complete bottom-level design of its pipeline compared with the conventional MIPS pipeline. The simulations from a single microthreaded processor implemented in VHD...

This paper outlines the design and analysis of a crossbar-type interconnection network that can be used with off-the-shelf microprocessor components to construct a four-processor/eight-memory module multiprocessor system. The only custom component is an interconnection (ICN) chip presently being fabricated by the authors. The ICN chip integrates 4 x 8 crosspoints for a 3-bit bus slice together ...

As t h e complexity of microprocessor increases, functional verification becomes more difficult and emerges as t h e bottleneck of t he design cycle. In this paper, we suggest a functional verification methodology, especially for t he compatible microprocessor design. To guarantee t h e perfect compatibility with previous microprocessors, we developed these C models in different representation ...

Subject of this thesis is the formal verification of pipelined microprocessors. This includes processors with state of the art schedulers, such as the Tomasulo scheduler and speculation. In contrast to most of the literature, we verify synthesizable design at gate level. Furthermore, we prove both data consistency and liveness. We verify the proofs using the theorem proving system PVS. We verif...

A system of conservative transformation rules is presented for abstracting memories whose forwarding logic interacts with stalling conditions for preserving the memory semantics in microprocessors with in-order execution. Microprocessor correctness is expressed in the logic of Equality with Uninterpreted Functions and Memories (EUFM) [6]. Memory reads and writes are abstracted as arbitrary unin...

The thermal management of integrated circuits is an increasing challenge, limiting the progression of technology, and making microchip designs complex. The research and development of thermal management has concentrated on reducing the total power consumption of microprocessors at the micro-architectural level. At this level, constraints such as power consumption and its sources are regarded hi...

Abstract Keeping proper soil moisture is essential in growing good quality and efficient fruit yield. To that effect, level must be controlled, to maintain watering. A smartphone application was developed operate a smart farm watering system. It monitors the soil’s launches sprayers water dried areas. The system’s architecture built distributed client-server computing system, small grid. grid a...

The aim of this paper is to present an innovative teaching approach using a troubleshooting methodology in teaching and learning microprocessors by trainees at technical high schools. Moreover, this paper presents the evaluation of this methodology by electronics teachers who teach at technical high schools. In the beginning, the basic theoretical background about the troubleshooting problem-so...