Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2024
On Modeling and Detecting Trojans in Instruction Sets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 10Pages 3226–3239https://doi.org/10.1109/TCAD.2024.3389558Amid growing concerns about hardware security, comprehensive security testing has become essential for chip certification. This article proposes a deep-testing method for identifying Trojans of particular concern to middle-to-high-end users, with a focus ...
- research-articleApril 2024
One-Shot Online Testing of Deep Neural Networks Based on Distribution Shift Detection
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 10Pages 3250–3263https://doi.org/10.1109/TCAD.2024.3386116Neural networks (NNs) are capable of learning complex patterns and relationships in data to make predictions with high accuracy, making them useful for various tasks. However, NNs are both computation-intensive and memory-intensive methods, making them ...
- research-articleApril 2024
An MIV Test Method Using High-Precision Voltage Dividers
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 10Pages 3240–3249https://doi.org/10.1109/TCAD.2024.3385332Monolithic 3-D integration realizes the vertical interconnection between adjacent layers by using nanoscale monolithic intertier vias (MIVs). However, MIVs are particularly vulnerable to defects due to high integration density and substantial scaling of ...
- research-articleApril 2024
HIVE: Scalable Hardware-Firmware Co-Verification Using Scenario-Based Decomposition and Automated Hint Extraction
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 10Pages 3278–3291https://doi.org/10.1109/TCAD.2024.3383961Hardware-firmware (FW) co-verification is critical to design trustworthy systems. While formal methods can provide verification guarantees, due to the complexity of FW and hardware, it can lead to state space explosion. There are promising avenues to ...
- research-articleMarch 2024
ARISTOTLE: Feature Engineering for Scalable Application-Level Post-Silicon Debugging
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 9Pages 2810–2824https://doi.org/10.1109/TCAD.2024.3380548We present systematic and efficient solutions for both observability enhancement and root-cause diagnosis of post-silicon system-on-chips (SoCs) validation with diverse usage scenarios. We model specification of interacting flows in typical applications ...
-
- research-articleMarch 2024
System-on-Chip Information Flow Validation Under Asynchronous Resets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 9Pages 2825–2838https://doi.org/10.1109/TCAD.2024.3376596Modern system-on-chip (SoC) designs comprise hundreds of individual IP blocks, each with its custom implementation of reset signals in most cases. The asynchronous nature of these resets while crossing different reset domains makes the SoC prone to ...
- research-articleOctober 2023
Parallel Static Learning Toward Heterogeneous Computing Architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 3Pages 983–993https://doi.org/10.1109/TCAD.2023.3324271Static learning is a learning algorithm for finding additional implicit implications between gates in a netlist. In automatic test pattern generation (ATPG) the learned implications help recognize conflicts and redundancies early, and thus greatly improve ...
- research-articleOctober 2023
DELFINES: Detecting Laser Fault Injection Attacks via Digital Sensors
- Mohammad Ebrahimabadi,
- Suhee Sanjana Mehjabin,
- Raphael Viera,
- Sylvain Guilley,
- Jean-Luc Danger,
- Jean-Max Dutertre,
- Naghmeh Karimi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 3Pages 774–787https://doi.org/10.1109/TCAD.2023.3322623Laser Fault Injection Attacks (LFIA) are a major concern in physical security of electronic circuits as they allow an attacker to inject a fault with a very high spatial accuracy. They are also often considered by information technology security ...
- research-articleOctober 2023
Generation of Two-Cycle Tests for Structurally Similar Circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 2Pages 694–703https://doi.org/10.1109/TCAD.2023.3321973VLSI design flows improve design parameters (performance, power, area, and testability) iteratively. Whereas the “shift left” trend implies that changes at the RTL are preferred for improving the design, it is sometimes necessary to make ...
- research-articleAugust 2023
Dynamic Test Compaction of a Compressed Test Set Shared Among Logic Blocks
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 1Pages 394–402https://doi.org/10.1109/TCAD.2023.3307352Distributed test data compression refers to the scenario where each logic block in a design has its own decompression logic and compact set of compressed tests. A static test compaction procedure for this scenario was described recently. The procedure ...
- research-articleAugust 2023
DiagNNose: Toward Error Localization in Deep Learning Hardware-Based on VTA-TVM Stack
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 1Pages 217–229https://doi.org/10.1109/TCAD.2023.3303851Low-level hardware faults manifested in a Deep learning (DL) accelerator usher in graceless degradation of high-level classification accuracy, which can eventuate to catastrophic circumstances. This violates the crucial Functional Safety (FuSa) of the DL ...
- research-articleJuly 2023
Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 1Pages 16–29https://doi.org/10.1109/TCAD.2023.3298698Since the last century, the exponential growth of the semiconductor industry has led to the creation of tiny and complex integrated circuits, e.g., sensors, actuators, and smart power. Innovative techniques are needed to ensure the correct functionality ...
- research-articleJuly 2023
Adaptive Differential Wearing for Read Performance Optimization on High-Density nand Flash Memory
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 1Pages 380–393https://doi.org/10.1109/TCAD.2023.3297971With cost reduction and density optimization, high-density NAND flash memory has been widely deployed in data centers and consumer devices. However, this trend has significantly degraded the read performance and lifetime of high-density NAND flash memory ...
- research-articleJune 2023
Scalable Detection of Hardware Trojans Using ATPG-Based Activation of Rare Events
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 42, Issue 12Pages 4450–4462https://doi.org/10.1109/TCAD.2023.3290537Semiconductor supply chain vulnerability is a major concern in designing trustworthy systems. Malicious implants, popularly known as hardware Trojans (HTs), can get introduced at different stages in the system-on-chip (SoC) design cycle. While there are ...
- research-articleApril 2023
Self-Test Library Generation for In-Field Test of Path Delay Faults
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 42, Issue 11Pages 4246–4259https://doi.org/10.1109/TCAD.2023.3268210New semiconductor technologies for advanced applications are more prone to defects and imperfections related, among several different causes, to the manufacturing process, aging, and cross-talks. These phenomena negatively affect the circuit’s ...
- research-articleApril 2023
Interleaved LDPC Decoding Scheme Improves 3-D TLC NAND Flash Memory System Performance
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 42, Issue 11Pages 4191–4204https://doi.org/10.1109/TCAD.2023.3266363Although NAND flash memory does a lot of work in effectively using error correcting code (ECC) to reduce uncorrectable bit error rate (UBER). However, if the frame error rate (FER) is not reduced, the lower UBER cannot effectively reduce the read latency ...
- research-articleMarch 2023
X-Masking for Deterministic In-System Tests
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 42, Issue 11Pages 4260–4269https://doi.org/10.1109/TCAD.2023.3261781Deterministic in-system tests begin to play an essential role in safety-critical applications, in large data centers, or in monitoring silicon aging, to name just a few. All of these ecosystems require periodic, high-quality tests to assure required test ...
- research-articleMarch 2023
CNN-Based Stochastic Regression for IDDQ Outlier Identification
- Chia-Heng Yen,
- Chun-Teng Chen,
- Cheng-Yen Wen,
- Ying-Yen Chen,
- Jih-Nung Lee,
- Shu-Yi Kao,
- Kai-Chiang Wu,
- Mango Chia-Tso Chao
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 42, Issue 11Pages 4282–4295https://doi.org/10.1109/TCAD.2023.3253043To reduce defect parts per million (DPPM) on IC products, IDDQ testing can be exploited for identifying the outliers which are potentially defective but not detected by sign-off functional and parametric tests. Conventional IDDQ testing paradigms ...
- research-articleMarch 2023
Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT
- Nikolaos Ioannis Deligiannis,
- Tobias Faller,
- Riccardo Cantoro,
- Tobias Paxian,
- Bernd Becker,
- Matteo Sonza Reorda
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 42, Issue 11Pages 4270–4281https://doi.org/10.1109/TCAD.2023.3252467Throughout device testing, one key parameter to be considered is the switching activity (SWA) of the circuit under test (CUT). To avoid unwanted scenarios due to excessive power consumption during test, in most cases the SWA of the CUTs must be retained ...
- research-articleNovember 2022
CapOS: Capacitor Error Resilience for Energy Harvesting Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 41, Issue 11Pages 4539–4550https://doi.org/10.1109/TCAD.2022.3202861Energy harvesting systems have emerged as an alternative to battery-operated Internet of Things (IoT) devices. To deal with frequent power outages in the absence of battery, energy harvesting systems rely on a capacitor-backed checkpoint mechanism also ...