Architecture Verification Using Digital Engineering

被引：0
|
作者：
Tanabe, Shinichi [1 ]
Kasamatsu, Atsushi [1 ]
Abe, Takenori [1 ]
Yasunori, Hiromichi [1 ]
机构：
[1] AutoNetworks Technologies, Ltd, Japan
来源：
SEI Technical Review | 2024年 / 98期
关键词：
Architecture - Optimization - Surface properties;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：24 / 27
相关论文
共 50 条
  • [41] Advanced SEU engineering using a triple well architecture
    Puchner, H
    Xu, YZ
    Radaelli, D
    ESSDERC 2004: PROCEEDINGS OF THE 34TH EUROPEAN SOLID-STATE DEVICE RESEARCH CONFERENCE, 2004, : 369 - 372
  • [42] Static Digital Signature Recognition and Verification using Neural Networks
    Chauhan, Prachi
    Chandra, Subhash
    Maheshkar, Sushila
    2016 1ST INDIA INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING (IICIP), 2016,
  • [43] Automated Functional Verification of Digital Television Systems using Camera
    Kastelan, Ivan
    Katona, Mihajlo
    Pekovic, Vukota
    Mihic, Velibor
    PROCEEDINGS ELMAR-2010, 2010, : 69 - 72
  • [44] Secure digital academic certificate verification system using blockchain
    Patel, Sunil Kumar
    Chandran, Saravanan
    Kumar, Purushottam
    INTERNATIONAL JOURNAL OF INFORMATION AND COMPUTER SECURITY, 2024, 24 (3-4) : 236 - 257
  • [45] Formal verification of digital circuits using symbolic model checking
    Casar, A
    Brezocnik, Z
    Kapus, T
    INFORMACIJE MIDEM-JOURNAL OF MICROELECTRONICS ELECTRONIC COMPONENTS AND MATERIALS, 2000, 30 (03): : 153 - 160
  • [46] On a design verification of the pipelined digital system using SMV.
    Lee, SH
    Chang, JK
    KORUS 2003: 7TH KOREA-RUSSIA INTERNATIONAL SYMPOSIUM ON SCIENCE AND TECHNOLOGY, VOL 2, PROCEEDINGS: ELECTRICAL ENGINEERING AND INFORMATION TECHNOLOGY, 2003, : 234 - 236
  • [47] Extended Existence Probability Using Digital Maps for Object Verification
    Gies, Fabian
    Posselt, Joachim
    Buchholz, Michael
    Dietmayer, Klaus
    PROCEEDINGS OF 2020 23RD INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION 2020), 2020, : 329 - 335
  • [48] Integrity verification system for video content by using digital watermarking
    Echizen, Isao
    Singh, Stephan
    Yamada, Takaaki
    Tanimoto, Koichi
    Tezuka, Satoru
    Huet, Benoit
    2006 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2006, : 1619 - 1624
  • [49] A New Blockchain Digital MRV (Measurement, Reporting, and Verification) Architecture for Existing Building Energy Performance
    Woo, Junghoon
    Kibert, Charles J.
    Newman, Richard
    Kachi, Alireza Shojaei Kol
    Fatima, Ridah
    Tian, Yifeng
    2020 2ND CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES (BRAINS), 2020, : 222 - 226
  • [50] Architecture and engineering
    Industrial Photography, 1992, 41 (06):
12345