Sciweavers


0
posts
with
0
views
130profile views
mdmEngineer
mdm
TCAD
2002
158views more  TCAD 2002»
13 years 3 months ago
Static power modeling of 32-bit microprocessors
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
Carlo Brandolese, Fabio Salice, William Fornaciari...
FAC
2000
124views more  FAC 2000»
13 years 4 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
ISLPED
2007
ACM
101views Hardware» more  ISLPED 2007»
13 years 5 months ago
Power-aware operand delivery
Based on operand delivery, existing microprocessors can be categorized into architected register file (ARF) or physical register file (PRF) machines, both with or without payload ...
Erika Gunadi, Mikko H. Lipasti
EUROPAR
2004
Springer
13 years 8 months ago
Imprecise Exceptions in Distributed Parallel Components
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
Kostadin Damevski, Steven G. Parker
DFT
2003
IEEE
142views VLSI» more  DFT 2003»
13 years 9 months ago
Exploiting Instruction Redundancy for Transient Fault Tolerance
This paper presents an approach for integrating fault-tolerance techniques into microprocessors by utilizing instruction redundancy as well as time redundancy. Smaller and smaller...
Toshinori Sato
CALCO
2007
Springer
202views Mathematics» more  CALCO 2007»
13 years 10 months ago
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
Neal A. Harman

3
posts
with
5831
views
650profile views Browse  My Posts »
AhmedEngineer
Medtronic, Inc.
Ahmed
Ahmed Assayed Sr. Test Engineer; currently employed at Medtronic Inc. BS electrical engineering - Zagazig University - Egypt MS computer engineering - North Dakota State Unive...