Fernanda Lima Kastensmidt

dblp:l/FGdLimaKastensmidt · also Fernanda Gusmão de Lima, Fernanda Gusmão de Lima Kastensmidt, Fernanda L. Kastensmidt, Fernanda Lima 0001 · DBLP profile ↗
← Back
45ranked-venue papers
5as first author
3since 2021 · last 2023
0000-0001-5767-8582ORCID · verified

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

Systems, architecture and hardware · 45 · 5 first-author · 3 since 2021Software engineering, systems software and programming languages · 11 · 1 first-author
YearPublicationVenuePosition
2023 Impact on Radiation Robustness of Gate Mapping in FinFET Circuits under Work-function Fluctuation
abstract
Single Event Transient (SET) faults are more notable every day at Earth applications. Even considering FinFET technology, the effects are not negligible. A circuit-level evaluation of radiation effects must consider each internal node of the cells, input vectors, particle type, and pulse width derived from the particle collision to determine the sensibility of the circuit under evaluation. Moreover, circuit characterization is time-consuming, involving many electrical simulations to reach an appropriate precision, mainly considering together with the process variability effects. This work evaluates how process variability and gate mapping impacts the radiation robustness on circuits composed by multigate devices in 7 nm FinFET technology. Firstly, the NAND2 and NOR2 gates are evaluated at nominal conditions and considering the process variability impact on the radiation sensitivity. After that, three different topologies of the same circuit are analyzed, showing that even when considering process variability, the circuit's robustness is highly dependent on its output gates and that the most sensitive part of a circuit may vary given process variability. Results also show that the$\mathbf{LET}_{th}$value may vary by order of magnitude due to the work-function fluctuation of NMOS and PMOS devices.
Bernardo Borges Sandoval, Leonardo Heitich Brendler, Fernanda Lima Kastensmidt, Ricardo Augusto da Luz Reis, Alexandra L. Zimpeck, Rafael B. Schvittz, Cristina Meinhardt
ISCAS3
2021 Special Session: Operating Systems under test: an overview of the significance of the operating system in the resiliency of the computing continuum
abstract
The computing continuum's actual trend is facing a growth in terms of devices with any degree of computational capability. Those devices may or may not include a full-stack, including the Operating System layer and the Application layer, or just facing pure bare-metal solutions. In either case, the reliability of the full system stack has to be guaranteed. It is crucial to provide data regarding the impact of faults at all system stack levels and potential hardening solutions to design highly resilient systems. While most of the work usually concentrates on the application reliability, the special session aims to provide a deep comprehension of the impact on the reliability of an embedded system when faults in the hardware substrate of the system stack surface at the Operating System layer. For this reason, we will cover a comparison from an application perspective when hardware faults happen in bare metal vs. real-time OS vs. general-purpose OS. Then we will go deeper within a FreeRTOS to evaluate the contribution of all parts of the OS. Eventually, the Special Session will propose some hardening techniques at the Operating System level by exploiting the scheduling capabilities.
Emmanuel Casseau, Petr Dobiás, Oliver Sinnen, Gennaro Severino Rodrigues, Fernanda Lima Kastensmidt, Alessandro Savino 0001, Stefano Di Carlo, Maurizio Rebaudengo, Alberto Bosio
VTS5
2021 Failure Mechanism and Sampling Frequency Dependency on TID Response of SAR ADCs
Carlos J. González, Bruno L. Costa, Diego N. Machado, Rafael Galhardo Vaz, Alexis C. Vilas Bôas, Odair Lelis Goncalez, Helmut Puchner, Fernanda Lima Kastensmidt, Nilberto H. Medina, Marcilei Aparecida Guazzelli, Tiago R. Balen
J. Electron. Test.8
2019 Circuit-Level Techniques to Mitigate Process Variability and Soft Errors in FinFET Designs
abstract
The yield optimization and radiation hardness are relevant reliability requirements as chip manufacturing advances more in-depth into the nanometer regime. One way to obtain improvements in these issues is by applying techniques to mitigate the effects of process variability and radiation-induced soft errors in the circuits. This work reports the use of three circuit-level approaches in FinFET designs as well as point out the pros and cons of adopting it.
Alexandra L. Zimpeck, Cristina Meinhardt, Laurent Artola, Guillaume Hubert, Fernanda Lima Kastensmidt, Ricardo Augusto da Luz Reis
VLSI-SoC5
2019 Assessing the Reliability of Successive Approximate Computing Algorithms under Fault Injection
Gennaro Severino Rodrigues, Ádria Barros de Oliveira, Fernanda Lima Kastensmidt, Vincent Pouget, Alberto Bosio
J. Electron. Test.3
2018 Performances VS Reliability: how to exploit Approximate Computing for Safety-Critical applications
abstract
Approximate Computing (AxC) paradigm aims at designing energy-efficient systems, saving computational resources, and presenting better execution times. AxC aims to selectively violate the specifications, trading accuracy off for efficiency. It has been demonstrated in the literature the effectiveness of imprecise computation for both software and hardware components implementing inexact algorithms, showing an inherent resiliency to errors. On the other hand, the hidden cost of AxC is the reduction on the inherent resiliency to errors of an application. This paper aims at analyzing the impact of AxC on the reliability.
Gennaro Severino Rodrigues, Fernanda Lima Kastensmidt, Vincent Pouget, Alberto Bosio
IOLTS2
2016 Exploiting Idle Hardware to Provide Low Overhead Fault Tolerance for VLIW Processors
abstract
Because of technology scaling, the soft error rate has been increasing in digital circuits, which affects system reliability. Therefore, modern processors, including VLIW architectures, must have means to mitigate such effects to guarantee reliable computing. In this scenario, our work proposes three low overhead fault tolerance approaches based on instruction duplication with zero latency detection, which uses a rollback mechanism to correct soft errors in the pipelanes of a configurable VLIW processor. The first uses idle issue slots within a period of time to execute extra instructions considering distinct application phases. The second works at a finer grain, adaptively exploiting idle functional units at run-time. However, some applications present high instruction-level parallelism (ILP), so the ability to provide fault tolerance is reduced: less functional units will be idle, decreasing the number of potential duplicated instructions. The third approach attacks this issue by dynamically reducing ILP according to a configurable threshold, increasing fault tolerance at the cost of performance. While the first two approaches achieve significant fault coverage with minimal area and power overhead for applications with low ILP, the latter improves fault tolerance with low performance degradation. All approaches are evaluated considering area, performance, power dissipation, and error coverage.
Anderson Luiz Sartor, Arthur Francisco Lorenzon, Luigi Carro, Fernanda Lima Kastensmidt, Stephan Wong, Antonio Carlos Schneider Beck
ACM J. Emerg. Technol. Comput. Syst.4
2015 Application-Based Analysis of Register File Criticality for Reliability Assessment in Embedded Microprocessors
Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Eduardo Chielle, Fernanda Lima Kastensmidt
J. Electron. Test.5
2014 Aging and voltage scaling impacts under neutron-induced soft error rate in SRAM-based FPGAs
abstract
This work investigates the effects of aging and voltage scaling in neutron-induced bit-flip in SRAM-based FPGAs. Experimental results show that aging and voltage scaling can increase in at least two times the susceptibility of SRAM-based FPGAs to Soft Error Rate (SER). These results are innovative, because they combine three real effects that occur in programmable circuits operating at ground-level applications. In addition, a model at electrical simulation for aging, soft error and different voltages was described to investigate the effects observed at the practical neutron irradiation experiment. Results can guide designers to predict soft error effects during the lifetime of devices operating in different power supply mode.
Fernanda Lima Kastensmidt, Jorge L. Tonfat, Thiago Hanna Both, Paolo Rech, Gilson I. Wirth, Ricardo Augusto da Luz Reis, Florent Bruguier, Pascal Benoit, Lionel Torres, Christopher Frost 0002
ETS1
2014 Power dissipation effects on 28nm FPGA-based System on Chips neutron sensitivity
abstract
Modern System on Chips (SoCs) and embedded electronic devices work at very high frequencies, which have the countermeasure of increasing the power dissipation and, consequently, the silicon die temperature. The presented radiation experiments on a 28nm FPGA-based SoC demonstrate that the temperature variation caused by a higher operating frequency affects the FPGA configuration memory cross section. An evaluation and discussion of the observed reliability dependence on power dissipation effects on practical application is also presented.
Giovanni Bruni, Paolo Rech, Lucas A. Tambara, Gabriel L. Nazar, Fernanda Lima Kastensmidt, Ricardo Augusto da Luz Reis, Alessandro Paccagnella
VLSI-SoC5
2013 Algorithm transformation methods to reduce software-only fault tolerance techniques' overhead
abstract
This paper introduces a framework that tackles the costs in area and energy consumed by methodologies like spatial or temporal redundancy with a different approach: given an algorithm, we find a transformation in which part of the computation involved is transformed into memory accesses. The precomputed data stored in memory can be protected then by applying traditional and well established ECC algorithms to provide fault tolerant hardware designs. At the same time, the transformation increases the performance of the system by reducing its execution time, which is then used by customized software-only fault tolerant techniques to protect the system without any degradation when compared to its original form. Application of this technique to key algorithms in a MP3 player, combined with a fault injection campaign, show that this approach increases fault tolerance up to 92%, without any performance degradation.
José Rodrigo Azambuja, Gustavo Brown, Fernanda Lima Kastensmidt, Luigi Carro
IOLTS3
2012 ATARDS: An adaptive fault-tolerant strategy to cope with massive defects in Network-on-Chip interconnections
Anelise Kologeski, Caroline Concatto, Fernanda Lima Kastensmidt, Luigi Carro
VLSI-SoC3
2011 Improving Reliability in NoCs by Application-Specific Mapping Combined with Adaptive Fault-Tolerant Method in the Links
abstract
A strategy to handle multiple defects in the No Clinks with almost no impact on the communication delay is presented. The fault-tolerant method can guarantee the functionally of the NoC with multiple defects in any link, and with multiple faulty links. The proposed technique uses information from test phase to map the application and to configure fault-tolerant features along the NoC links. Results from an application remapped in the NoC show that the communication delay is almost unaffected, with minimal impact and overhead when compared to a fault-free system. We also show that our proposal has a variable impact in performance while traditional fault-tolerant solution like Hamming Code has a constant impact. Besides our proposal can save among 15% to 100% the energy when compared Hamming Code.
Anelise Kologeski, Caroline Concatto, Luigi Carro, Fernanda Lima Kastensmidt
ETS4
2011 Two-levels of adaptive buffer for virtual channel router in NoCs
abstract
NoC designs are based on a compromise of latency, power dissipation or energy, usually defined at design time. However, setting all parameters at design time can cause either excessive power dissipation (originated by router underutilization), or a higher latency. Moreover, routers with virtual channels have larger buffer sizes and more complex control, increasing the total costs. The situation worsens whenever the application changes its communication pattern, i.e., when a portable phone downloads a new service. In this paper we propose the use of a two-level adaptive buffer for a virtual channel router, where the buffers units and the virtual channels are dynamically allocated to increase router efficiency in a NoC, even under rather different communication loads. With the proposed architecture the buffer and virtual channels in the input channels of the routers can be adapted at run time. The adaptive virtual channel router decreases the latency in the worst case by 10%, and a reduction of 80% in the best case is achieved when compared to previous works.
Caroline Concatto, Anelise Kologeski, Luigi Carro, Fernanda Lima Kastensmidt, Gianluca Palermo, Cristina Silvano
VLSI-SoC4
2011 Exploring the Limitations of Software-based Techniques in SEE Fault Coverage
José Rodrigo Azambuja, Samuel Nascimento Pagliarini, Lucas Rosa, Fernanda Lima Kastensmidt
J. Electron. Test.4
2011 Functional Test of Mesh-Based NoCs with Deterministic Routing: Integrating the Test of Interconnects and Routers
Marcos Hervé, Marcelo de Souza Moraes, Marcelo Lubaszewski, Fernanda Lima Kastensmidt, Érika F. Cota
J. Electron. Test.5
2011 Improving the yield of NoC-based systems through fault diagnosis and adaptive routing
Caroline Concatto, Guilherme Fachini, Marcos Hervé, Fernanda Lima Kastensmidt, Érika F. Cota, Marcelo Lubaszewski
J. Parallel Distributed Comput.5
2011 Reconfigurable Routers for Low Power and High Performance
abstract
Network-on-chip (NoC) designs are based on a compromise among latency, power dissipation, or energy, and the balance is usually defined at design time. However, setting all parameters, such as buffer size, at design time can cause either excessive power dissipation (originated by router under utilization), or a higher latency. The situation worsens whenever the application changes its communication pattern, e.g., a portable phone downloads a new service. Large buffer sizes can ensure performance during the execution of different applications, but unfortunately, these same buffers are mainly responsible for the router total power dissipation. Another aspect is that by sizing buffers for the worst case latency incurs extra dissipation for the mean case, which is much more frequent. In this paper we propose the use of a reconfigurable router, where the buffer slots are dynamically allocated to increase router efficiency in an NoC, even under rather different communication loads. In the proposed architecture, the depth of each buffer word used in the input channels of the routers can be reconfigured at run time. The reconfigurable router allows up to 52% power savings, while maintaining the same performance as that of a homogeneous router, but using a 64% smaller buffer size.
Debora Matos, Caroline Concatto, Márcio Eduardo Kreutz, Fernanda Lima Kastensmidt, Luigi Carro, Altamiro Amadeu Susin
IEEE Trans. Very Large Scale Integr. Syst.4
2010 Evaluating transient-fault effects on traditional C-element's implementations
abstract
The C-element is a fundamental component in asynchronous circuits and quite used in synchronous circuits to mitigate transient faults. This work evaluates the transient-fault effects on the traditional dynamic, conventional, weak feedback, and symmetric C-element's implementations. An evaluation methodology is developed by means of fault-injection simulations at transistor level. Unlike existing methods, the methodology in this work is able to deal with the C-element function's particularities. In addition, C-element cells in different transient-fault robust versions are designed by using techniques based on sizing and transistor insertion. Results in terms of delay, power consumption, area, and fault-transient robustness show the best C-element options for the design of more robust systems.
Rodrigo Possamai Bastos, Gilles Sicard, Fernanda Lima Kastensmidt, Marc Renaudin, Ricardo Augusto da Luz Reis
IOLTS3
2010 Efficiently using data splitting and retransmission to tolerate faults in networks-on-chip interconnects
abstract
In this paper, a fault tolerance technique is proposed for the protection of NoC interconnects. The technique is based on data splitting and retransmission, providing for high NoC-based SoC reliability. For error detection, the proposed approach splits the communication data into two parity encoded halves. For error correction, only the erroneous half is doubled and retransmitted. Compared to the use of a conventional Hamming Code, we show that, for medium to large NoCs, the approach proposed in this work is less silicon costly, leads to the design of faster fault-free routers and, for the majority of faults, presents no performance degradation at system level.
Matheus Braga, Érika F. Cota, Fernanda Lima Kastensmidt, Marcelo Lubaszewski
ISCAS3
2010 A broad strategy to detect crosstalk faults in network-on-chip interconnects
abstract
In this paper, we propose a method to detect crosstalk faults within and among channels of mesh NoCs, using a global test strategy that is based on a particular set of test paths and test packet. All test paths must be activated simultaneously without resource conflict. The test packet is built using Maximal Aggressor Fault (MAF) vectors. The test strategy is capable of detecting 100% of the considered faults. The test application time grows quadratically with the NoC increase, but can be drastically improved by means of two alternative approaches also proposed in the paper. Those local approaches are based on simultaneously testing multiple victims or NoC regions unlikely to aggress each other. The test time then grows linearly and shows a very modest derivative.
Mariza Botelho, Fernanda Lima Kastensmidt, Marcelo Lubaszewski, Érika F. Cota, Luigi Carro
VLSI-SoC2
2009 A study of the Single Event Effects impact on functional mapping within Flash-based FPGAs
abstract
Flash-based FPGAs are increasingly demanded in safety critical fields, in particular space and avionic ones, due to their non-volatile configuration memory. Although they are almost immune to permanent loss of the configuration data, they are composed of floating gate based switches that can suffer transient effects if hit by high energetic particles with critical consequences on the implemented logic. This paper presents a new way for the analysis of the impact of single event effects in flash-based FPGAs. We proposed a new methodology to identify the most critical switches inside the configuration logic block and the most redundant and robust configuration selection for each logic function. The experimental results achieved by fault injection demonstrated the feasibility of the proposed method and show that by using the most robust functional mapping it is possible to enhance the reliability of the entire design with respect to a not robust ones.
Francesco Abate, Luca Sterpone, Massimo Violante, Fernanda Lima Kastensmidt
DATE4
2009 Evaluating large grain TMR and selective partial reconfiguration for soft error mitigation in SRAM-based FPGAs
abstract
This paper presents an innovative method that allows the use of dynamic partial reconfiguration combined with triple modular redundancy (TMR) in SRAM-based FPGAs fault-tolerant designs. The method combines large grain TMR with special voters capable of signalizing the faulty module and check point states that allow the sequential synchronization of the recovered module with the Xilinx TMR (XTMR) approach. As a result, only the faulty domain is reconfigured, minimizing time and energy spent in the process. In addition, the use of checkpoint states avoids system downtime, since the synchronization of the recovered module is performed while the others are kept running. Experimental results show that the method has a reduced fault recovery time compared to the standard TMR implementation, maintaining the compatible area overhead and performance.
José Rodrigo Azambuja, Fernando Sousa, Lucas Rosa, Fernanda Lima Kastensmidt
IOLTS4
2009 Comparing transient-fault effects on synchronous and on asynchronous circuits
abstract
A methodology to evaluate transient-fault effects on synchronous and asynchronous is presented in this work. It is developed by means of fault-injection simulation campaigns on gate-level circuit implementations. The methodology is able to deal with the particularities of asynchronous circuits. Unlike previous works, it permits to compare the sensitivity of circuits designed by synchronous and asynchronous logics. The resultant metrics allow identifying at high-level abstraction what is the logic that makes the circuit more transient-fault sensitive. As a case study, a crypto-processor in versions synchronous and asynchronous was evaluated.
Rodrigo Possamai Bastos, Yannick Monnet, Gilles Sicard, Fernanda Lima Kastensmidt, Marc Renaudin, Ricardo Augusto da Luz Reis
IOLTS4
2009 Improving yield of torus nocs through fault-diagnosis-and-repair of interconnect faults
abstract
We propose a fault tolerance method for torus NoCs capable of increase the yield with minimal performance overhead. The proposed approach consists in detecting and diagnosing interconnect faults using BIST structures and activating alternative paths for the faulty links. Experimental results show that alternative fault-free paths are found by the dynamic routing for 95% of the diagnosed faults (stuck-at and pairwise shorts within a single link or between any two links).
Caroline Concatto, Fernanda Lima Kastensmidt, Érika F. Cota, Marcelo Lubaszewski, Marcos Hervé
IOLTS3
2009 Diagnosis of interconnect shorts in mesh NoCs
abstract
We propose a method to diagnose interconnect short-circuit faults in mesh 7oCs. The fault model comprises all shorts between any two wires of a defined 7oC neighborhood. Test sequences are applied in 7oC functional mode. Experimental results show that 93% of the interconnect shorts can be diagnosed.
Marcos Hervé, Érika F. Cota, Fernanda Lima Kastensmidt, Marcelo Lubaszewski
NOCS3
2008 Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors
Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt
J. Electron. Test.3
2008 Majority Logic Mapping for Soft Error Dependability
Lorenzo Petroli, Carlos Arthur Lang Lisbôa, Fernanda Lima Kastensmidt, Luigi Carro
J. Electron. Test.3
2008 A High-Fault-Coverage Approach for the Test of Data, Control and Handshake Interconnects in Mesh Networks-on-Chip
abstract
A novel strategy to detect interconnect faults between distinct channels in networks-on-chip is proposed. Short faults between distinct channels in the data, control and communication handshake lines are considered in a cost-effective test sequence for Mesh NoC topologies based on XY routing.
Érika F. Cota, Fernanda Lima Kastensmidt, Maico Cassel, Marcos Hervé, Paulo Meirelles, Alexandre M. Amory, Marcelo Lubaszewski
IEEE Trans. Computers2
2007 Evaluating Network-on-Chip for Homogeneous Embedded Multiprocessors in FPGAs
abstract
This paper presents performance and area evaluation of a homogeneous multiprocessor communication system based on network-on-chip (NoC) in FPGA platforms. Two homogenous chip multiprocessor proposals were designed and compared for Xilinx FPGAs using MicroBlaze processors: one based on NoC and the other based on shared memory/bus. One of the main findings is the communication performance evaluation of NoC for parallel computing applications. The comparison results show that an efficient implementation of NoC on FPGA can improve communication speed by up to seven times with low area overhead, according to the data size and the number of processors connected to the network.
Henrique Cota de Freitas, Dalton Martini Colombo, Fernanda Lima Kastensmidt, Philippe Olivier Alexandre Navaux
ISCAS3
2007 Redefining and testing interconnect faults in Mesh NoCs
abstract
An extended fault model and novel strategy to tackle interconnect faults in network-on-chips are proposed. Short faults between distinct channels are considered in a cost-effective test sequence for mesh NoC topologies based on XY routing.
Érika F. Cota, Fernanda Lima Kastensmidt, Maico Cassel, Paulo Meirelles, Alexandre M. Amory, Marcelo Lubaszewski
ITC2
2007 Using built-in sensors to cope with long duration transient faults in future technologies
abstract
Transients spanning more than one clock cycle will challenge soft error tolerant designs for future technologies. To face this problem, a low overhead technique that uses bulk built-in current sensors and recomputation is proposed here.
Carlos Arthur Lang Lisbôa, Fernanda Lima Kastensmidt, Egas Henes Neto, Gilson I. Wirth, Luigi Carro
ITC2
2007 Evaluating memory sharing data size and TCP connections in the performance of a reconfigurable hardware-based architecture for TCP/IP stack
abstract
The TCP/IP (Transmission Control Protocol/Internet Protocol) Stack processing based on software becomes a bottleneck for the explosive growth of data transmission rate on the Internet. Software- based TCP/IP is not able to process the packets at the same rate of transmission lines, which has been pushing the TCP/IP processing implementation into hardware. The use of dedicated hardware for TCP/IP stack processing aims reducing the Central Unit Processing (CPU) load and increase as possible the throughput for Internet services that need a large bandwidth. In this way, a reconfigurable hardware-based architecture to transport and network layers protocols processing is proposed. The effect of shared memory data size and the number of TCP connections were evaluated in terms of area and packets computation performance.
Jean Carlo Hamerski, Everton Reckziegel, Fernanda Lima Kastensmidt
VLSI-SoC3
2007 Statistical analysis of systematic and random variability of flip-flop race immunity in 130nm and 90nm CMOS technologies
abstract
Statistical process variations are a critical issue for circuit design strategies to ensure high yield in sub- 100nm technologies. In this work we investigate the variability of flip flop race immunity in 130nm and 90nm low power CMOS technologies. An on-chip measurement technique with resolution of ˜1ps is used to characterize hold time violations of flip flops in short logic paths, which are generated by clock-edge uncertainties in synchronous designs. Statistical die-to die variations of hold time violations are measured various register-to-register configurations and show overall 3σ die-to-die standard deviations of 12–16% Mathematical methods to separate the measured variability between systematic and random variability are discussed, and the results presented. They show that while systematic variability is the major issue in 130nm, it is significantly decreased in 90nm technology due to better process control. Another important point is that the race immunity decreases about 30% in 90nm, showing that smaller clock skews can lead to violations in 90nm.
Gustavo Neuberger, Fernanda Lima Kastensmidt, Ricardo Augusto da Luz Reis, Gilson I. Wirth, Ralf Brederlow, Christian Pacha
VLSI-SoC2
2007 Evaluating Different Solutions to Design Fault Tolerant Systems with SRAM-based FPGAs
Luca Sterpone, Matteo Sonza Reorda, Massimo Violante, Fernanda Lima Kastensmidt, Luigi Carro
J. Electron. Test.4
2006 Design of a Robust 8-Bit Microprocessor to Soft Errors
abstract
This work presents a fault-tolerant version of the mass-produced 8-bit microprocessor M68HC11. It is able to tolerate single event transients (SETs) and single event upsets (SEUs). Based on triple modular redundancy (TMR) and time redundancy (TR) fault tolerance techniques, a protection scheme was implemented at high level in the sensitive areas of the microprocessor by using only standard gates in order to save design time. Furthermore, fault-tolerant IC design issues and results in area and performance were compared with a non-protected microprocessor version
Rodrigo Possamai Bastos, Fernanda Lima Kastensmidt, Ricardo Augusto da Luz Reis
IOLTS2
2006 Evaluating One-Hot Encoding Finite State Machines for SEU Reliability in SRAM-based FPGAs
abstract
This work discusses the use of two fault-tolerant techniques, duplication with self-checking and triple modular redundancy, for one-hot encoding FSM in SRAM-based techniques. The FSM encoding styles have a significant influence on the dependability of the machine in presence of bit-flips, known as single event upsets (SEUs). Although the one-hot encoding style presents the best trade-off in terms of reliability, modern synthesis tools tend to optimize crucial characteristic of the one-hot style. Consequently, techniques must be applied in the hardware description language to ensure reliability of protected one-hot FSM. Results present in this paper show that fault-tolerant techniques can be easily optimized by the tools reducing the robustness of the final design. Solutions in the RTL level are proposed to ensure reliability.
Maico Cassel, Fernanda Lima Kastensmidt
IOLTS2
2006 Evaluating SEU and Crosstalk Effects in Network-on-Chip Routers
abstract
This work intends to evaluate the effect of a single event upsets (SEUs) and crosstalk faults in a NoC router architecture by developing a fault injection mechanism, allowing an accurate analysis of the impact of SEU and crosstalk over the router service. Results show that such faults may affect the router behavior, causing loss of packets, errors in packet information or even compromising the router service, provoking permanent routing problems
Arthur Pereira Frantz, Luigi Carro, Érika F. Cota, Fernanda Lima Kastensmidt
IOLTS4
2006 Dependable Network-on-Chip Router Able to Simultaneously Tolerate Soft Errors and Crosstalk
abstract
As the technology scales down into deep sub-micron domain, more IP cores are integrated in the same die and new communication architectures are used to meet performance and power constraints. However, the same technologic advance makes devices and interconnects more sensitive to new types of malfunctions and failures, such as crosstalk and transient faults. This paper proposes fault tolerant techniques to protect NoC routers against the occurrence of soft errors and crosstalk at the same time, with minimum area and performance overhead. Experimental results show that a cost-effective protection alternative can be achieved by the combination of error correction codes and time redundancy techniques
Arthur Pereira Frantz, Fernanda Lima Kastensmidt, Luigi Carro, Érika F. Cota
ITC2
2005 On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs
abstract
Triple modular redundancy (TMR) is a suitable fault tolerant technique for SRAM-based FPGA. However, one of the main challenges in achieving 100% robustness in designs protected by TMR running on programmable platforms is to prevent upsets in the routing from provoking undesirable connections between signals from distinct redundant logic parts, which can generate an error in the output. This paper investigates the optimal design of the TMR logic (e.g., by cleverly inserting voters) to ensure robustness. Four different versions of a TMR digital filter were analyzed by fault injection. Faults were randomly inserted straight into the bitstream of the FPGA. The experimental results presented in this paper demonstrate that the number and placement of voters in the TMR design can directly affect the fault tolerance, ranging from 4.03% to 0.98% the number of upsets in the routing able to cause an error in the TMR circuit.
Fernanda Lima Kastensmidt, Luca Sterpone, Luigi Carro, Matteo Sonza Reorda
DATE1
2003 Designing fault tolerant systems into SRAM-based FPGAs
abstract
This paper discusses high level techniques for designing fault tolerant systems in SRAM-based FPGAs, without modification in the FPGA architecture. Triple Modular Redundancy (TMR) has been successfully applied in FPGAs to mitigate transient faults, which are likely to occur in space applications. However, TMR comes with high area and power dissipation penalties. The new technique proposed in this paper was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. We present some fault coverage results and a comparison with the TMR approach.
Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Augusto da Luz Reis
DAC1
2003 Reducing pin and area overhead in fault-tolerant FPGA-based designs
abstract
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has been successfully applied in FPGAs to mitigate transient faults, which are likely to occur in space applications. However, TMR comes with high area and power dissipation penalties. The proposed technique was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. We present some fault coverage results and a comparison with the TMR approach.
Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Augusto da Luz Reis
FPGA1
2003 A multiple bit upset tolerant SRAM memory
abstract
SRAMs are used nowadays in almost every electronic product. However, as technology shrinks transistor sizes, single and multiple bit upsets only observable in space applications previously are now reported at ground level. This article presents a high level technique to protect SRAM memories against multiple upsets based on correcting codes. The proposed technique combines Reed Solomon code and Hamming code to assure reliability in presence of multiple bit flips with reduced area and performance penalties. Multiple upsets were randomly injected in various combinations of memory cells to evaluate the robustness of the method. The experiment was emulated in a Virtex FPGA platform. Results show that 100% of the injected double faults and a large amount of multiple faults were corrected by the method.
Gustavo Neuberger, Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Augusto da Luz Reis
ACM Trans. Design Autom. Electr. Syst.2
2001 Synthesis of an 8051-Like Micro-Controller Tolerant to Transient Faults
Érika F. Cota, Fernanda Lima Kastensmidt, Sana Rezgui, Luigi Carro, Raoul Velazco, Marcelo Lubaszewski, Ricardo Augusto da Luz Reis
J. Electron. Test.2
2000 A frame stream controller IP
abstract
The IP (Intellectual Property) for frame stream control is a soft IP module designed to handle data frames of variable lengths, with different transmission rates. It works in a store and forward way, using an external SDRAM memory of arbitrary capacity. There is a receiver and a transmitter interface where frames are respectively stored and forwarded. The goal of this IP module is to handle the different kinds of protocols used in modern networks. Through the standard interface a bridge can be built between a synchronous and an asynchronous channel, or a faster and a slower rate port. A simple protocol is implemented on both reception and transmission interface, making the IP reusable for different designs. It can be used, for instance, to build an IP (Internet Protocol) LAN bridge. A protocol-specific function (Ethernet, Token Ring, etc.) has to be implemented in order to deliver the IP frame to the frame stream controller IP, and another specific protocol function to receive the IP frames from the frame controller and to transmit them through the physical media.
Fernanda Lima Kastensmidt, Marcelo Barcelos, Juergen Rochol, Sergio Bampi, Ricardo Augusto da Luz Reis
ISCAS1