Multidomain Fault Models Covering the Analog Side of a Smart or Cyber–Physical System

F Tosoni, N Dall'Ora, E Fraccaroli… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Over the last decade, the industrial world has been involved in a massive revolution guided
by the adoption of digital technologies. In this context, complex systems like cyber-physical …

Hierarchical RTL-based combinatorial SER estimation

A Evans, D Alexandrescu… - 2013 IEEE 19th …, 2013 - ieeexplore.ieee.org
With increased device integration and a gradual trend toward higher operating frequencies,
the effect of radiation induced transients in combinatorial logic (SETs) can no longer be …

Formal quantification of the register vulnerabilities to soft error in RTL control paths

L Chen, M Ebrahimi, MB Tahoori - Journal of Electronic Testing, 2015 - Springer
Radiation-induced soft error is a significant reliability issue in nanoscale technology nodes.
As the sequential registers are major contributors to the system soft error rate, accurate …

Mutation Testing Reinvented: How Artificial Intelligence Complements Classic Methods

S Uzunbayir, K Kurtel - 2024 9th International Conference on …, 2024 - ieeexplore.ieee.org
Mutation testing is a widely accepted method for assessing the effectiveness of software test
suites. It focuses on evaluating how well a test suite can identify deliberately introduced …

[PDF][PDF] Quantitative analysis of soft error propagation at rtl

L Chen, M Ebrahimi, M Tahoori - MEDIAN, 2013 - median-project.eu
Radiation-induced soft error is one of the main issues of system reliability with the
continuous technology scaling. Soft error analysis at early design phase is essential for …

Soft Error Analysis and Mitigation at High Abstraction Levels

L Chen - 2015 - publikationen.bibliothek.kit.edu
Radiation-induced soft errors, as one of the major reliability challenges in future technology
nodes, have to be carefully taken into consideration in the design space exploration. This …

Abstraction techniques for scalable soft error analysis and mitigation

A Evans - 2014 - theses.hal.science
The main objective of this thesis is to develop techniques that can beused to analyze and
mitigate the effects of radiation-induced soft errors in industrialscale integrated circuits. To …

Pattern generation for mutation analysis using genetic algorithms

YC Yang, CY Wang, CY Huang… - 2013 IEEE International …, 2013 - ieeexplore.ieee.org
Mutation Analysis (MA) is a fault-based simulation technique that is used to measure the
quality of testbenches for mutant detections where mutants are simple syntactical changes in …

A Hybrid Approach to Equivalent Fault Identification for Verification Environment Qualification

CC Wu, TY Lee, YA Lai, HP Wang, DX Ji… - Proceedings of the …, 2018 - dl.acm.org
Fault-based verification technique is a method to qualify a verification environment. The
better verification environment can detect output differences between the fault-free and fault …

Mutation testing using time-shift operator

HK Parimi - 2018 - uhcl-ir.tdl.org
Functional verification plays a critical role in ensuring that a digital integrated circuit (IC)
meets the design specification. Dynamic verification uses a large number of test vectors. To …