Výsledky vyhledávání - "Algorithm-based verification"
-
1
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 deep nano-scale and high-integration CMOS technologies, storage circuits have become increasingly sensitive to charge-sharing-induced multiple-node-upsets…”
Získat plný text
Journal Article -
2
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 -
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
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)“…With the rapid advancement of semiconductor technologies, latches become increasingly sensitive to soft errors, especially triple node upsets (TNUs), in harsh…”
Získat plný text
Journal Article -
5
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 -
6
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