Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Javier Carretero

dblp:66/5793 · also Javier Sebastian Carretero Casado · DBLP profile ↗
← Back
14ranked-venue papers
6as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 14 · 6 first-authorSoftware engineering, systems software and programming languages · 5 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
Processor architecture and microarchitecture · 32% Electronic design automation · 23% Energy-efficient computing · 16%

Topics — the 17 heaviest of 20, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware reliability and fault tolerance
soft errors
0.232011
Selective replication: A lightweight technique for soft errors · ACM Trans. Comput. Syst. 2009
End-to-end register data-flow continuous self-test · ISCA 2009
Implementing End-to-End Register Data-Flow Continuous Self-Test · IEEE Trans. Computers 2011
Electronic design automation › hardware verification and test
online testing
0.222010
Microarchitectural Online Testing for Failure Detection in Memory Order Buffers · IEEE Trans. Computers 2010
End-to-end register data-flow continuous self-test · ISCA 2009
Electronic design automation › hardware verification and test › design for testability
built-in self-test
0.112011
Implementing End-to-End Register Data-Flow Continuous Self-Test · IEEE Trans. Computers 2011
Processor architecture and microarchitecture
load/store queue
0.112011
Hardware/software-based diagnosis of load-store queues using expandable activity logs · HPCA 2011
Processor architecture and microarchitecture › memory system microarchitecture
memory ordering
0.112011
Hardware/software-based diagnosis of load-store queues using expandable activity logs · HPCA 2011
Electronic design automation › hardware verification and test › design validation
post-silicon validation
0.112011
Hardware/software-based diagnosis of load-store queues using expandable activity logs · HPCA 2011
Energy-efficient computing › power-performance tradeoff
energy-delay product optimization
0.112010
High-Performance low-vcc in-order core · HPCA 2010
Processor architecture and microarchitecture › microprocessor design › processor core design
in-order core
0.112010
High-Performance low-vcc in-order core · HPCA 2010
Energy-efficient computing
low-voltage operation
0.112010
High-Performance low-vcc in-order core · HPCA 2010
Energy-efficient computing
voltage scaling
0.112010
High-Performance low-vcc in-order core · HPCA 2010
Processor architecture and microarchitecture › out-of-order execution
out-of-order processor
0.112009
Selective replication: A lightweight technique for soft errors · ACM Trans. Comput. Syst. 2009
Distributed systems › replication › partial replication
selective replication
0.112009
Selective replication: A lightweight technique for soft errors · ACM Trans. Comput. Syst. 2009
Memory systems
cache
0.122010
Microarchitectural Online Testing for Failure Detection in Memory Order Buffers · IEEE Trans. Computers 2010
Low Vccmin fault-tolerant cache with highly predictable performance · MICRO 2009
Reconfigurable computing and FPGAs
on-chip trace buffer
0.012011
Hardware/software-based diagnosis of load-store queues using expandable activity logs · HPCA 2011
Processor architecture and microarchitecture
chip multiprocessor
0.012009
Low Vccmin fault-tolerant cache with highly predictable performance · MICRO 2009
Integrated circuit design
digital circuit design
0.012009
End-to-end register data-flow continuous self-test · ISCA 2009
Performance modeling and evaluation
performance variability
0.012009
Low Vccmin fault-tolerant cache with highly predictable performance · MICRO 2009

Methods — techniques the papers use, named apart from their topics

arithmetic codes · 0.2microarchitectural mechanism · 0.1expandable logging · 0.1error detection · 0.1diagnosis algorithm · 0.1parity · 0.1dynamic voltage adaptation · 0.1cache-like tracking structure · 0.1IRAW avoidance · 0.1ECC · 0.1
YearPublicationVenuePosition
2013 Capturing vulnerability variations for register files
abstract
Soft error rates are estimated based on worst-case architectural vulnerability factor (AVF). Therefore, it makes tracking real-time accurate AVF very attractive to computer designers: more accurate AVF numbers will allow turning on more features at runtime while keeping the promised SDC and DUE rates. This paper presents a hardware mechanism based on linear regressions to estimate the AVF (SDC and DUE) of the register file for out-of-order cores. Our results show that we are able to have a high correlation factor at low cost.
Javier Carretero, Enric Herrero, Matteo Monchiero, Tanausú Ramírez, Xavier Vera
DATE1
2011 Hardware/software-based diagnosis of load-store queues using expandable activity logs
abstract
The increasing device count and design complexity are posing significant challenges to post-silicon validation. Bug diagnosis is the most difficult step during post-silicon validation. Limited reproducibility and low testing speeds are common limitations in current testing techniques. Moreover, low observability defies full-speed testing approaches. Modern solutions like on-chip trace buffers alleviate these issues, but are unable to store long activity traces. As a consequence, the cost of post-Si validation now represents a large fraction of the total design cost. This work describes a hybrid post-Si approach to validate a modern load-store queue. We use an effective error detection mechanism and an expandable logging mechanism to observe the microarchitectural activity for long periods of time, at processor full-speed. Validation is performed by analyzing the log activity by means of a diagnosis algorithm. Correct memory ordering is checked to root the cause of errors.
Javier Carretero, Xavier Vera, Jaume Abella 0001, Tanausú Ramírez, Matteo Monchiero, Antonio González 0001
HPCA1
2011 Implementing End-to-End Register Data-Flow Continuous Self-Test
abstract
While Moore's Law predicts the ability of semiconductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in that law. One concern is the verification effort of modern computing systems, which has grown to dominate the cost of system design. On the other hand, technology scaling leads to burn-in phase out. As a result, in-the-field error rate may increase due to both actual errors and latent defects. Whereas data can be protected with arithmetic codes, there is a lack of cost-effective mechanisms for control logic. This paper presents a light-weight microarchitectural mechanism that ensures that data consumed through registers are correct. The structures protected include the issue queue logic and the data associated (i.e., tags and control signals), input multiplexors, rename data, replay logic, register free-list and release logic, and register file logic. Our results show a coverage around 90 percent for the targeted structures with a cost in power and area of about four percent, and without impact in performance.
Javier Carretero, Pedro Chaparro, Xavier Vera, Jaume Abella 0001, Antonio González 0001
IEEE Trans. Computers1
2010 The split register file
abstract
Technology scaling requires lowering Vcc due to power constraints. Unfortunately, permanent faulty bit rates grow due to the higher impact of process variations at low Vcc, especially in the register file whose critical timing limits circuit optimizations. This paper proposes a novel register file design based on splitting registers and discarding faulty blocks to increase the number of registers available. By increasing the number of registers available higher performance can be obtained and yield increases because a larger number of processors reaches the minimum number of registers required to operate.
Jaume Abella 0001, Javier Carretero, Pedro Chaparro, Xavier Vera
DATE2
2010 High-Performance low-vcc in-order core
abstract
Power density grows in new technology nodes, thus requiring Vcc to scale especially in mobile platforms where energy is critical. This paper presents a novel approach to decrease Vcc while keeping operating frequency high. Our mechanism is referred to as immediate read after write (IRAW) avoidance. We propose an implementation of the mechanism for an Intel®SilverthorneTMin-order core. Furthermore, we show that our mechanism can be adapted dynamically to provide the highest performance and lowest energy-delay product (EDP) at each Vcc level. Results show that IRAW avoidance increases operating frequency by 57% at 500mV and 99% at 400mV with negligible area and power overhead (below 1%), which translates into large speedups (48% at 500mV and 90% at 400mV) and EDP reductions (0.61 EDP at 500mV and 0.33 at 400mV).
Jaume Abella 0001, Pedro Chaparro, Xavier Vera, Javier Carretero, Antonio González 0001
HPCA4
2010 Microarchitectural Online Testing for Failure Detection in Memory Order Buffers
abstract
Technology scaling leads to burn-in phase out and higher postsilicon test complexity, which increases in-the-field failure rate due to both latent defects and actual errors, respectively. As a consequence, current reliability qualification methods will likely be infeasible. Microarchitecture knowledge of application runtime behavior offers a possibility to have low-cost continuous online testing techniques detect hard errors in the field. Whereas data can be protected with redundancy (like parity or ECC), there is a lack of mechanism for control logic. This paper proposes a microarchitectural approach for validating that the memory order buffer logic works correctly. Our design relies on a small cache-like structure that keeps track of the last store to each cached address. Each load is checked to have obtained the data from the youngest older producing store. We present three different implementations of this idea, offering different trade-offs for error coverage, performance overhead, and design complexity.
Javier Carretero, Xavier Vera, Pedro Chaparro, Jaume Abella 0001
IEEE Trans. Computers1
2009 Online error detection and correction of erratic bits in register files
abstract
Aggressive voltage scaling needed for low power in each new process generation causes large deviations in the threshold voltage of minimally sized devices of the 6T SRAM cell. Gate oxide scaling can cause large transient gate leakage (a trap in the gate oxide), which is known as the erratic bits phenomena. Register file protection is necessary to prevent errors from quickly spreading to different parts of the system, which may cause applications to crash or silent data corruption. This paper proposes a simple and cost-effective mechanism that increases the resiliency of the register files to erratic bits. Our mechanism detects those registers that have erratic bits, recovers from the error and quarantines the faulty register. After the quarantine period, it is able to detect whether they are fully operational with low overhead.
Xavier Vera, Jaume Abella 0001, Javier Carretero, Pedro Chaparro, Antonio González 0001
IOLTS3
2009 End-to-end register data-flow continuous self-test
abstract
While Moore's Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in that law. One concern is the verification effort of modern computing systems, which has grown to dominate the cost of system design. On the other hand, technology scaling leads to burn-in phase out. As a result, in-the-field error rate may increase due to both actual errors and latent defects. Whereas data can be protected with arithmetic codes (like parity or ECC), there is a lack of cost-effective mechanisms for control logic.
Javier Carretero, Pedro Chaparro, Xavier Vera, Jaume Abella 0001, Antonio González 0001
ISCA1
2009 Low Vccmin fault-tolerant cache with highly predictable performance
abstract
Transistors per area unit double in every new technology node. However, the electric field density and power demand grow if Vcc is not scaled. Therefore, Vcc must be scaled in pace with new technology nodes to prevent excessive degradation and keep power demand within reasonable limits. Unfortunately, low Vcc operation exacerbates the effect of variations and decreases noise and stability margins, increasing the likelihood of errors in SRAM memories such as caches. Those errors translate into performance loss and performance variation across different cores, which is especially undesirable in a multi-core processor.
Jaume Abella 0001, Javier Carretero, Pedro Chaparro, Xavier Vera, Antonio González 0001
MICRO2
2009 Selective replication: A lightweight technique for soft errors
abstract
Soft errors are an important challenge in contemporary microprocessors. Modern processors have caches and large memory arrays protected by parity or error detection and correction codes. However, today's failure rate is dominated by flip flops, latches, and the increasing sensitivity of combinational logic to particle strikes. Moreover, as Chip Multi-Processors (CMPs) become ubiquitous, meeting the FIT budget for new designs is becoming a major challenge. Solutions based on replicating threads have been explored deeply; however, their high cost in performance and energy make them unsuitable for current designs. Moreover, our studies based on a typical configuration for a modern processor show that focusing on the top 5 most vulnerable structures can provide up to 70% reduction in FIT rate. Therefore, full replication may overprotect the chip by reducing the FIT much below budget. We propose Selective Replication , a lightweight-reconfigurable mechanism that achieves a high FIT reduction by protecting the most vulnerable instructions with minimal performance and energy impact. Low performance degradation is achieved by not requiring additional issue slots and reissuing instructions only during the time window between when they are retirable and they actually retire. Coverage can be reconfigured online by replicating only a subset of the instructions (the most vulnerable ones). Instructions' vulnerability is estimated based on the area they occupy and the time they spend in the issue queue. By changing the vulnerability threshold, we can adjust the trade-off between coverage and performance loss. Results for an out-of-order processor configured similarly to Intel® Core™ Micro-Architecture show that our scheme can achieve over 65% FIT reduction with less than 4% performance degradation with small area and complexity overhead.
Xavier Vera, Jaume Abella 0001, Javier Carretero, Antonio González 0001
ACM Trans. Comput. Syst.3
2008 Issue system protection mechanisms
abstract
Multi-core microprocessors require reducing the FIT (failures-in-time) rate per core drastically to enable a larger number of cores within a FIT budget. Since large arrays like caches and register flies are typically protected with either ECC or parity, the issue system becomes as one of the largest contributors to the core's FIT rate. Soft-errors are an important concern in contemporary microprocessors. Particle hits on the components of a processor are expected to create an increasing number of transient errors in each new microprocessor generation. In addition, the number of hard-errors in the field is expected to grow as burn-in becomes less effective. Moreover, the continuous device shrinking increases the likelihood of in-the-field failures due to rather small defects exacerbated by degradation. This paper proposes on-line mechanisms to detect and recover to a consistent state, classify and confine in-the-field errors in the issue system of both in-order and out-of-order cores. Such mechanisms provide high coverage at a small cost.
Pedro Chaparro, Jaume Abella 0001, Javier Carretero, Xavier Vera
ICCD3
2008 On-Line Failure Detection and Confinement in Caches
abstract
Technology scaling leads to burn-in phase out and increasing post-silicon test complexity, which increases in-the-field error rate due to both latent defects and actual errors. As a consequence, there is an increasing need for continuous on-line testing techniques to cope with hard errors in the field. Similarly, those techniques are needed for detecting soft errors in logic, whose error rate is expected to raise in future technologies. Cache memories, which occupy most of the area of the chip, are typically protected with parity or ECC, but most of the wires as well as some combinational blocks remain unprotected against both soft and hard errors. This paper presents a set of techniques to detect and confine hard and soft errors in cache memories in combination with parity/ECC at very low cost. By means of hard signatures in data rows and error tracking, faults can be detected, classified properly and confined for hardware reconfiguration.
Jaume Abella 0001, Pedro Chaparro, Xavier Vera, Javier Carretero, Antonio González 0001
IOLTS4
2008 Design and evaluation of tabu search method for job scheduling in distributed environments
abstract
The efficient allocation of jobs to grid resources is indispensable for high performance grid-based applications. The scheduling problem is computationally hard even when there are no dependencies among jobs. Thus, we present in this paper a new tabu search (TS) algorithm for the problem of batch job scheduling on computational grids. We consider the job scheduling as a bi-objective optimization problem consisting of the minimization of the makespan and flowtime. The bi-objectivity is tackled through a hierarchic approach in which makespan is considered a primary objective and flowtime a secondary one. An extensive experimental study has been first conducted in order to fine-tune the parameters of our TS algorithm. Then, our tuned TS is compared versus two well known TS algorithms in the literature (one of them is hybridized with an ant colony optimization algorithm) for the problem. The computational results show that our TS implementation clearly outperforms the compared algorithms. Finally, we evaluated the performance of our TS algorithm on a new set of instances that better fits with the concept of computational grid. These instances are composed of a higher number of -heterogeneous- machines (up to 256) and emulate the dynamic behavior of these systems.
Fatos Xhafa, Javier Carretero, Enrique Alba 0001, Bernabé Dorronsoro
IPDPS2
2008 On-line Failure Detection in Memory Order Buffers
abstract
Technology scaling leads to burn-in phase out and higher post-silicon test complexity, which increases in-the-field error rate due to both latent defects and actual errors respectively. As a consequence, current reliability qualification methods will likely be infeasible. Microarchitecture knowledge of application runtime behavior offers a possibility to have low-cost continuous online testing techniques to cope with hard errors in the field. Whereas data can be protected with redundancy (like parity or ECC), there is a lack of mechanisms for control logic. This paper proposes a microarchitectural approach for validating that the memory order buffer logic works correctly.
Javier Carretero, Xavier Vera, Pedro Chaparro, Jaume Abella 0001
ITC1