We describe a set of remarkably simple algebraic laws governing microarchitectural components. We apply these laws to incrementally transform a pipeline containing forwarding, branch speculation and hazard detection so that all pipeline stages and forwarding logic are removed. The resulting unpipelined machine is much closer to the reference architecture, and presumably easier to verify.

I am broadly interested in computer architecture and VLSI circuits with particular emphasis on memory systems, multicore and multithreaded systems, and reconfigurable systems. My research work during my PhD study at University of Connecticut is motivated by many emerging challenges of continued technology scaling for future generations of computing systems. These challenges include reliability,...

Over the last 5 years, high performance microprocessors have changed dramatically. One of the most significant influences is the increasing level of integration that is enabled by Moore’s Law. In the context of semiconductors, integration is an ever-present fact of life, reducing system power consumption and cost and increasing performance. The latest incarnation of this trend is the System-on-...

The IBM POWER4 is a new microprocessor organized in a system structure that includes new technology to form systems. The name POWER4 as used in this context refers not only to a chip, but also to the structure used to interconnect chips to form systems. In this paper we describe the processor microarchitecture as well as the interconnection architecture employed to form systems up to a 32-way s...

Reconfigurable logic devices offer new and interesting opportunities for application-specific customization and processor configuration. However, the most compelling optimization problems in this area are NP-hard. In our preliminary work, we customized the microarchitecture of a single processor core for a target application by viewing it as a multi-objective constrained integer nonlinear optim...

Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative execution, out-of-order execution and a load-store buffer supporting re-ordering and load forwarding. We observe that the proof methodology scales well, in that the incremental proof cost of each feature is low. The pro...

Abstract The pelvis plays an active role in weight bearing and countering the ground reaction forces incurred by hindlimbs thus making it a critical component of locomotor skeleton. Accordingly, this anatomical region is theoretically ideal for inferring behavior from both external skeletal morphology trabecular microarchitecture, with latter possibly offering nuanced insights into mechanical l...

— In this paper, we study microarchitecture-level interconnect modeling for power and performance. Considering structural interconnects, layer assignment, and concurrent repeater and Flip-Flop (FF) insertion, we develop cycle-accurate microarchitecture-level power and throughput simulation and obtain an accurate modeling of interconnects at the early design stage. Experiment show that the simul...

INTRODUCTION Ankylosing spondylitis (AS) is an inflammatory disease associated with new bone formation and an increased risk of osteoporosis and fractures. The negative effects of AS on bone microarchitecture and strength are unclear. Thus, we conducted an observational study to analyze the effect of AS on bone microarchitecture and strength. METHODS Patients with AS (n = 53) and non-AS subje...