Výsledky vyhledávání - "Algorithm-based verification"
-
1
MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.07.2024Vydáno v IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2024)“…In advanced CMOS technologies, integrated circuits are sensitive to multiple-node-upsets (MNUs) induced in harsh radiation environments. The existing…”
Získat plný text
Journal Article -
2
LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.06.2023Vydáno v IEEE transactions on computer-aided design of integrated circuits and systems (01.06.2023)“… In this article, a latch design protected against MNUs in the harsh radiation as well as an algorithm-based verification process is proposed…”
Získat plný text
Journal Article -
3
Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement
ISSN: 1063-8210, 1557-9999Vydáno: New York IEEE 01.06.2025Vydáno v IEEE transactions on very large scale integration (VLSI) systems (01.06.2025)“…With the continuous advancement of CMOS technologies, soft errors, such as single-node upset (SNU) and double-node upset (DNU), caused by radiation in…”
Získat plný text
Journal Article -
4
MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method
ISSN: 0278-0070, 1937-4151Vydáno: Institute of Electrical and Electronics Engineers (IEEE) 01.07.2024Vydáno v IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (01.07.2024)Získat plný text
Journal Article -
5
The Importance of Assuring Algorithm-based Verification Agents
ISSN: 2261-236X, 2274-7214, 2261-236XVydáno: Les Ulis EDP Sciences 2019Vydáno v MATEC web of conferences (2019)“…Safety verification is about creating trust and building confidence that a system is safe and conforms to the specified requirements. The term confidence means…”
Získat plný text
Journal Article Konferenční příspěvek -
6
Algorithm-based Verification of Manufacturing Constraints for a Loadpath Reinforced Fabric
ISSN: 2212-8271, 2212-8271Vydáno: Elsevier B.V 01.01.2019Vydáno v Procedia CIRP (01.01.2019)“…Lightweight construction has become increasingly important in recent decades. The fundamental idea of lightweight design is not to save weight at any price,…”
Získat plný text
Journal Article -
7
QtNURAV: A Robust Latch Design with Quintuple Node Upset Recovery and Algorithm based Verifications for Aerospace Applications
ISSN: 0018-9251, 1557-9603Vydáno: IEEE 2025Vydáno v IEEE transactions on aerospace and electronic systems (2025)“…With the continuous scaling of transistor feature sizes to the deep nano-scale, modern circuits have become increasingly sensitive to radiation-induced soft…”
Získat plný text
Journal Article -
8
HALTRAV: Design of a High-Performance and Area-Efficient Latch With Triple-Node-Upset Recovery and Algorithm-Based Verifications
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.06.2025Vydáno v IEEE transactions on computer-aided design of integrated circuits and systems (01.06.2025)“… design automation tools, we further propose an algorithm-based verification method that can automatically verify the node-upset-recovery of latches, which greatly simplifies the reliability-verification flow…”
Získat plný text
Journal Article -
9
A High-Performance Quadruple-Node-Upset-Tolerant Latch Design and an Algorithm for Tolerance Verification of Hardened Latches
ISSN: 0923-8174, 1573-0727Vydáno: New York Springer US 01.02.2024Vydáno v Journal of electronic testing (01.02.2024)“…With the development of semiconductor technology, the shrinking of feature size in integrated circuits has made them more sensitive to multiple-node-upsets…”
Získat plný text
Journal Article -
10
Cost-Optimized and Highly Robust Latches Providing Complete Quadruple-Node-Upset Tolerance and Recovery With Algorithm-Based Verifications
ISSN: 0018-9251, 1557-9603Vydáno: New York IEEE 01.06.2025Vydáno v IEEE transactions on aerospace and electronic systems (01.06.2025)“…With the aggressive shrinking of transistor feature sizes, nanoscale complementary metal oxide semiconductor (CMOS) circuits are becoming more vulnerable to…”
Získat plný text
Journal Article -
11
Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.01.2025Vydáno v IEEE transactions on computer-aided design of integrated circuits and systems (01.01.2025)“…This article presents radiation-hardened flip-flop (FF) designs capable of tolerating soft errors, e.g., single-node upsets (SNUs), double-node upsets (DNUs)…”
Získat plný text
Journal Article -
12
Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications
ISSN: 0278-0070, 1937-4151Vydáno: Institute of Electrical and Electronics Engineers (IEEE) 01.01.2024Vydáno v IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (01.01.2024)Získat plný text
Journal Article -
13
A Low-Cost Quadruple-Node-Upset Tolerant Latch Design and Recovery Rate Optimization Algorithm
ISSN: 0018-9251, 1557-9603Vydáno: New York IEEE 01.10.2025Vydáno v IEEE transactions on aerospace and electronic systems (01.10.2025)“…With the continuous shrinking of nanoscale complementary metal-oxide-semiconductor (CMOS) technology, the critical charge of circuit nodes has significantly…”
Získat plný text
Journal Article -
14
Fault-tolerant deep learning inference on CPU-GPU integrated edge devices with TEEs
ISSN: 0167-739XVydáno: Elsevier B.V 01.12.2024Vydáno v Future generation computer systems (01.12.2024)“… DarkneTF introduces algorithm-based verification to implement the FT deep learning inference…”
Získat plný text
Journal Article -
15
Soft-Error-Immune Quadruple-Node-Upset Tolerant Latch Based on Polarity Design and Source-Isolation Technologies
ISSN: 1063-8210, 1557-9999Vydáno: New York IEEE 01.04.2024Vydáno v IEEE transactions on very large scale integration (VLSI) systems (01.04.2024)“…), QNU tolerant latch (QNUTL), and Latch Design and Algorithm-based Verification Protected against Multiple-Node-Upsets (LDAVPM…”
Získat plný text
Journal Article -
16
NEST: A Quadruple-Node Upset Recovery Latch Design and Algorithm-Based Recovery Optimization
ISSN: 0018-9251, 1557-9603Vydáno: New York IEEE 01.08.2024Vydáno v IEEE transactions on aerospace and electronic systems (01.08.2024)“…% reduction in power consumption compared to the latch design and algorithm-based verification protected against multiple-node upset (LDAVPM) latch and 51.44…”
Získat plný text
Journal Article -
17
A High-Performance and High-Robustness Triple-Node-Upset Tolerant Latch Based on Redundant-Node Hardening
ISSN: 1063-8210, 1557-9999Vydáno: New York IEEE 01.05.2025Vydáno v IEEE transactions on very large scale integration (VLSI) systems (01.05.2025)“…In response to the issues of high cost, large overhead, and limited node fault tolerance in current latch hardening techniques, this article proposes a latch…”
Získat plný text
Journal Article