Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Letícia Maria Veiras Bolzani is active.

Publication


Featured researches published by Letícia Maria Veiras Bolzani.


IEEE Transactions on Computers | 2006

A new hybrid fault detection technique for systems-on-a-chip

Paolo Bernardi; Letícia Maria Veiras Bolzani; Maurizio Rebaudengo; Matteo Sonza Reorda; Fabian Vargas; Massimo Violante

Hardening SoCs against transient faults requires new techniques able to combine high fault detection capabilities with the usual requirements of SoC design flow, e.g., reduced design-time, low area overhead, and reduced (or null) accessibility to source core descriptions. This paper proposes a new hybrid approach which combines hardening software transformations with the introduction of an Infrastructure IP with reduced memory and performance overheads. The proposed approach targets faults affecting the memory elements storing both the code and the data, independently of their location (inside or outside the processor). Extensive experimental results, including comparisons with previous approaches, are reported, which allow practically evaluating the characteristics of the method in terms of fault detection capabilities and area, memory, and performance overheads.


design, automation, and test in europe | 2009

Enabling concurrent clock and power gating in an industrial design flow

Letícia Maria Veiras Bolzani; Andrea Calimera; Alberto Macii; Enrico Macii; Massimo Poncino

Clock-gating and power-gating have proven to be very effective solutions for reducing dynamic and static power, respectively. The two techniques may be coupled in such a way that the clock-gating information can be used to drive the control signal of the power-gating circuitry, thus providing additional leakage minimization conditions w.r.t. those manually inserted by the designer. This conceptual integration, however, poses several challenges when moved to industrial design flows. Although both clock and power-gating are supported by most commercial synthesis tools, their combined implementation requires some flexibility in the back-end tools that is not currently available. This paper presents a layout-oriented synthesis flow which integrates the two techniques and that relies on leading-edge, commercial EDA tools. Starting from a gated-clock netlist, we partition the circuit in a number of clusters that are implicitly determined by the groups of cells that are clock-gated by the same register. Using a row-based granularity, we achieve runtime leakage reduction by inserting dedicated sleep transistors for each cluster. The entire flow has been benchmarked on a industrial design mapped onto a commercial, 65 nm CMOS technology library.


digital systems design | 2008

Integrating Clock Gating and Power Gating for Combined Dynamic and Leakage Power Optimization in Digital CMOS Circuits

Enrico Macii; Letícia Maria Veiras Bolzani; Andrea Calimera; Alberto Macii; Massimo Poncino

Clock gating and power gating are two of the most effective techniques that are applied today for reducing dynamic and leakage power, respectively, in digital CMOS circuits. The combined use of the two solutions, however, poses some challenges in terms of practical integration of the required control logic and the power/timing overhead associated to it. This paper presents an analysis methodology and a prototype CAD tool that support the designer in understanding when the joint application of clock gating and power gating may result in significant power savings.


international on line testing symposium | 2004

Hybrid soft error detection by means of infrastructure IP cores [SoC implementation]

Letícia Maria Veiras Bolzani; Maurizio Rebaudengo; Matteo Sonza Reorda; Fabian Vargas; Massimo Violante

High integration levels, coupled with the increased sensitivity to soft errors even at ground level, make the task of guaranteeing adequate dependability levels more difficult then ever. In this paper, we propose to adopt low-cost infrastructure-intellectual-property (I-IP) cores in conjunction with software-based techniques to perform soft error detection. Experimental results are reported that show the effectiveness of the proposed approach.


latin american test workshop - latw | 2012

Investigating the use of an on-chip sensor to monitor NBTI effect in SRAM

Arthur Ceratti; Thiago Copetti; Letícia Maria Veiras Bolzani; Fabian Vargas

Today, the increasing need to store more and more information has resulted in the fact that Static Random Access Memories (SRAMs) occupy the greatest part of a System-on-Chip (SoC). Therefore, SRAMs robustness is considered crucial to guarantee the reliability of such SoCs over lifetime. In this context, one of the most important phenomena degrading nano-scale SRAMs reliability is related to Negative-Bias Temperature Instability (NBTI). This paper proposes a new approach based on an On-Chip Aging Sensor (OCAS) to detect SRAM aging during system lifetime. The sensor is able to detect any specific aging state of a cell in the SRAM array. The strategy is based on the connection of an OCAS per SRAM column, which periodically performs off-line testing by monitoring write operations into the SRAM cells to detect aging. The approach is application-transparent since it is does not change the SRAM contents after testing. To prevent OCAS from aging by one side and from dissipating static power by the other side, OCAS circuitry is powered-off during idle periods. SPICE simulations in a 65nm CMOS technology demonstrate the high sensor sensitivity to detect early aging states and so, guarantying high memory reliability. Furthermore, area overhead due to sensor insertion is almost negligible.


international on-line testing symposium | 2007

An Automated Methodology for Cogeneration of Test Blocks for Peripheral Cores

Letícia Maria Veiras Bolzani; Ernesto Sánchez; Massimiliano Schillaci; Matteo Sonza Reorda; Giovanni Squillero

Test of peripheral modules has not yet been deeply investigated by the research community. When embedded in a system on a chip, peripheral cores introduce new issues for post-production testing. A peripheral core embedded in a SoC requires a test set able to properly perform two different tasks: configure the device in different operation modes and properly exercise it. In this paper an automatic approach able to generate test sets for peripheral cores embedded in a SoC is described. The presented approach is based on an evolutionary algorithm that exploits high-level simulation and gathers coverage metrics information to produce the test sets. The method compares favorably with results obtained by hand.


International Scholarly Research Notices | 2012

A transmission power self-optimization technique for wireless sensor networks

Felipe Lavratti; A. Ceratti; Dárcio Prestes; Alex R. Pinto; Letícia Maria Veiras Bolzani; Fabian Vargas; Carlos Montez; F. Hernandez; Edmundo Gatti; Carlos Silva

Wireless sensor networks (WSNs) are generally used to monitor hazardous events in inaccessible areas. Thus, on one hand, it is preferable to assure the adoption of the minimum transmission power in order to extend as much as possible the WSNs lifetime. On the other hand, it is crucial to guarantee that the transmitted data is correctly received by the other nodes. Thus, trading off power optimization and reliability insurance has become one of the most important concerns when dealing with modern systems based on WSN. In this context, we present a transmission power self-optimization (TPSO) technique for WSNs. The TPSO technique consists of an algorithm able to guarantee the connectivity as well as an equally high quality of service (QoS), concentrating on the WSNs efficiency (Ef ), while optimizing the transmission power necessary for data communication. Thus, themain idea behind the proposed approach is to trade offWSNs Ef against energy consumption in an environment with inherent noise. Experimental results with different types of noise and electromagnetic interference (EMI) have been explored in order to demonstrate the effectiveness of the TPSO technique.


international symposium on electromagnetic compatibility | 2010

On the comparison of synchronous versus asynchronous circuits under the scope of conducted power-supply noise

L. F. Cristófoli; A. Henglez; Juliano Benfica; Letícia Maria Veiras Bolzani; Fabian Vargas; Andreu Atienza; Ferran Silva

Nowadays, the major part of electronic devices make use of synchronous circuits controlled by a global clock signal. However, the noise sensitivity as well as the electromagnetic emission of this type of circuit is very high. In this context, asynchronous circuits represent a very interesting solution, since they are naturally more robust than the synchronous counterparts. The proposed work aims at comparing the robustness of synchronous and asynchronous circuits generated according to the Desynchronization Approach presented in when they are exposed to power supply disturbances (PSD). To provide the necessary results to compare the two different design paradigms, we performed a set of experiments according to the IEC 61.000-4-17 and the IEC 61.000-4-29 Normatives. The obtained results demonstrate that the asynchronous circuit is significantly more robust than the synchronous one.


international on-line testing symposium | 2007

A Hybrid Approach to Fault Detection and Correction in SoCs

Paolo Bernardi; Letícia Maria Veiras Bolzani; Matteo Sonza Reorda

The reliability of Systems-on-Chip (SoCs) is very important with respect to their use in different types of critical applications. Several fault tolerance techniques have been proposed to improve their fault detection and correction capabilities. These approaches can be classified in two basic categories: software-based and hardware-based techniques. In this paper, we propose a hybrid approach to provide fault detection and correction capabilities of transient faults for processor-based SoCs. This solution improves a previous one, aimed at fault detection only, and combines some modifications of the source code at high level with the introduction of an Infrastructure Intellectual Property (TIP). The main advantage of the proposed method lies in the fact that it does not require modifying the microprocessor core. Experimental results are provided to evaluate the effectiveness of the proposed method.


latin american test workshop - latw | 2010

Towards a transmission power self-optimization in reliable Wireless Sensor Networks

Felipe Lavratti; Alex R. Pinto; Dárcio Prestes; Letícia Maria Veiras Bolzani; Fabian Vargas; Carlos Montez

Wireless Sensor Networks (WSNs) can be used to monitor hazardous and inaccessible areas. The WSN is composed of several nodes each provided with its separated power supply, e.g. battery. Working in hardly accessible places it is preferable to assure the adoption of the minimum transmission power in order to prolong as much as possible the WSNs lifetime. Though, we have to keep in mind that the reliability of the data transmitted represents a crucial requirement. Therefore, power optimization and reliability have become the most important concerns when dealing with modern systems based on WSN. In this context, we propose a new algorithm able to guarantee an equally high Quality of Service (QoS), concentrating on the WSNs Efficiency (Ef), while optimizing the transmission power necessary for data communication. Thus, the main idea behind our approach is to reach a trade-off between Ef and energy consumption in an environment with inherent noise.

Collaboration


Dive into the Letícia Maria Veiras Bolzani's collaboration.

Top Co-Authors

Avatar

Fabian Vargas

The Catholic University of America

View shared research outputs
Top Co-Authors

Avatar

Dárcio Prestes

The Catholic University of America

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Diogo B. Brum

The Catholic University of America

View shared research outputs
Top Co-Authors

Avatar

A. Ceratti

University of Rio Grande

View shared research outputs
Top Co-Authors

Avatar

Dhiego Silva

The Catholic University of America

View shared research outputs
Top Co-Authors

Avatar

Eduardo Luis Rhod

The Catholic University of America

View shared research outputs
Top Co-Authors

Avatar

R. Chipana

The Catholic University of America

View shared research outputs
Top Co-Authors

Avatar

T. Copetti

University of Rio Grande

View shared research outputs
Top Co-Authors

Avatar

Edmundo Gatti

INTI International University

View shared research outputs
Researchain Logo
Decentralizing Knowledge