Výsledky vyhledávání - "Algorithm-based verification"

  • Zobrazuji výsledky 1 - 17 z 17
Upřesnit hledání
  1. 1

    MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method Autor Yan, Aibin, Li, Zhixing, Gao, Zhongyu, Zhang, Jing, Huang, Zhengfeng, Ni, Tianming, Cui, Jie, Wang, Xiaolei, Girard, Patrick, Wen, Xiaoqing

    ISSN: 0278-0070, 1937-4151
    Vydáno: New York IEEE 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. 2

    LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments Autor Yan, Aibin, Li, Zhixing, Cui, Jie, Huang, Zhengfeng, Ni, Tianming, Girard, Patrick, Wen, Xiaoqing

    ISSN: 0278-0070, 1937-4151
    Vydáno: New York IEEE 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. 3

    Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement Autor Yan, Aibin, Hu, Changli, Li, Jing, Bai, Na, Huang, Zhengfeng, Ni, Tianming, Patrick, Girard, Wen, Xiaoqing

    ISSN: 1063-8210, 1557-9999
    Vydáno: New York IEEE 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. 4
  5. 5

    The Importance of Assuring Algorithm-based Verification Agents Autor Haugen, Odd Ivar

    ISSN: 2261-236X, 2274-7214, 2261-236X
    Vydáno: Les Ulis EDP Sciences 2019
    Vydá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. 6

    Algorithm-based Verification of Manufacturing Constraints for a Loadpath Reinforced Fabric Autor Gebhardt, Philipp, Bätge, Tjard, Türck, Eiko, Vietor, Thomas

    ISSN: 2212-8271, 2212-8271
    Vydáno: Elsevier B.V 01.01.2019
    Vydá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. 7

    QtNURAV: A Robust Latch Design with Quintuple Node Upset Recovery and Algorithm based Verifications for Aerospace Applications Autor Yan, Aibin, Li, Jing, Bao, Han, Ni, Tianming, Huang, Zhengfeng, Liang, Bin, Girard, Patrick, Wen, Xiaoqing

    ISSN: 0018-9251, 1557-9603
    Vydáno: IEEE 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. 8

    HALTRAV: Design of a High-Performance and Area-Efficient Latch With Triple-Node-Upset Recovery and Algorithm-Based Verifications Autor Guo, Xing, Zhang, Jiajia, Meng, Xu, Li, Zhenmin, Wen, Xiaoqing, Girard, Patrick, Liang, Bin, Yan, Aibin

    ISSN: 0278-0070, 1937-4151
    Vydáno: New York IEEE 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. 9

    A High-Performance Quadruple-Node-Upset-Tolerant Latch Design and an Algorithm for Tolerance Verification of Hardened Latches Autor Xu, Hui, Qin, Xuewei, Ma, Ruijun, Liu, Chaoming, Zhu, Shuo, Wang, Jun, Liang, Huaguo

    ISSN: 0923-8174, 1573-0727
    Vydáno: New York Springer US 01.02.2024
    Vydá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. 10

    Cost-Optimized and Highly Robust Latches Providing Complete Quadruple-Node-Upset Tolerance and Recovery With Algorithm-Based Verifications Autor Yan, Aibin, Zhou, Chao, Ni, Tianming, Zhang, Jing, Cui, Jie, Huang, Zhengfeng, Girard, Patrick, Wen, Xiaoqing

    ISSN: 0018-9251, 1557-9603
    Vydáno: New York IEEE 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. 11

    Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications Autor Yan, Aibin, He, Yuting, Huang, Zhengfeng, Yan, Wenjie, Cui, Jie, Wang, Xiaolei, Ni, Tianming, Girard, Patrick, Wen, Xiaoqing

    ISSN: 0278-0070, 1937-4151
    Vydáno: New York IEEE 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. 12
  13. 13

    A Low-Cost Quadruple-Node-Upset Tolerant Latch Design and Recovery Rate Optimization Algorithm Autor Huang, Zhengfeng, Jiang, Xinyu, Zhang, Yuqing, Wang, Xiaolei, Lu, Yingchun, Pan, Jun, Cheng, Fan, Wen, Xiaoqing, Yan, Aibin

    ISSN: 0018-9251, 1557-9603
    Vydáno: New York IEEE 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. 14

    Fault-tolerant deep learning inference on CPU-GPU integrated edge devices with TEEs Autor Xu, Hongjian, Liao, Longlong, Liu, Xinqi, Chen, Shuguang, Chen, Jianguo, Liang, Zhixuan, Yu, Yuanlong

    ISSN: 0167-739X
    Vydáno: Elsevier B.V 01.12.2024
    Vydá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. 15

    Soft-Error-Immune Quadruple-Node-Upset Tolerant Latch Based on Polarity Design and Source-Isolation Technologies Autor Hao, Licai, Zhang, Xinyi, Dai, Chenghu, Zhao, Qiang, Lu, Wenjuan, Peng, Chunyu, Zhou, Yongliang, Lin, Zhiting, Wu, Xiulong

    ISSN: 1063-8210, 1557-9999
    Vydáno: New York IEEE 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. 16

    NEST: A Quadruple-Node Upset Recovery Latch Design and Algorithm-Based Recovery Optimization Autor Huang, Zhengfeng, Sun, Liting, Wang, Xu, Liang, Huaguo, Lu, Yingchun, Yan, Aibin, Pan, Jun, Wen, Xiaoqing

    ISSN: 0018-9251, 1557-9603
    Vydáno: New York IEEE 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. 17

    A High-Performance and High-Robustness Triple-Node-Upset Tolerant Latch Based on Redundant-Node Hardening Autor Zhao, Qiang, Liu, Qingyi, Zhang, Xinyi, Hao, Licai, Li, Xin, Zhang, Shengyue, Peng, Chunyu, Lin, Zhiting, Wu, Xiulong

    ISSN: 1063-8210, 1557-9999
    Vydáno: New York IEEE 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