Suchergebnisse - "Algorithm-based verification"

HALTRAV: Design of A High-performance and Area-efficient Latch with Triple-node-upset Recovery and Algorithm-based Verifications

Autoren: Guo, Xing Zhang, Jiajia Meng, Xu et al.

Weitere Verfasser: Guo, Xing Zhang, Jiajia Meng, Xu et al.

Quelle: ISSN: 0278-0070 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, In press, pp.1-1. ⟨10.1109/TCAD.2024.3511335⟩.

Schlagwörter: Triple node upset, Latch design, Source-drain cross-coupled inverters, Algorithm-based verification, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics

Verfügbarkeit: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04954952v1/file/TCAD_HALTRAV.pdf
https://doi.org/10.1109/TCAD.2024.3511335

LDAVPM: A Latch Design and Algorithm-based Verification Protected against Multiple-Node-Upsets in Harsh Radiation Environments

Autoren: Yan, Aibin Li, Zhixing Cui, Jie et al.

Weitere Verfasser: Yan, Aibin Li, Zhixing Cui, Jie et al.

Quelle: ISSN: 0278-0070 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03770056 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (6), pp.2069-2073. ⟨10.1109/TCAD.2022.3213212⟩.

Schlagwörter: Latch design, Algorithm-based verification, Fault tolerance, Muller C-element, Multiple-node-upset, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics

Verfügbarkeit: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03770056
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03770056v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03770056v1/file/CO87.pdf
https://doi.org/10.1109/TCAD.2022.3213212

The Importance of Assuring Algorithm-based Verification Agents

Autoren: Haugen Odd Ivar

Quelle: MATEC Web of Conferences, Vol 273, p 01010 (2019)

Schlagwörter: Objectivity, Algorithm-based Verification Agent, Verification of Algorithms, Emic Verification, Etic Verification, Engineering (General). Civil engineering (General), TA1-2040

Relation: https://www.matec-conferences.org/articles/matecconf/pdf/2019/22/matecconf_icsc_eswc2018_01010.pdf; https://doaj.org/toc/2261-236X; https://doaj.org/article/8e6abfebbd3444e0abf244adba87fd79

Verfügbarkeit: https://doi.org/10.1051/matecconf/201927301010
https://doaj.org/article/8e6abfebbd3444e0abf244adba87fd79