Thorough pre-silicon verification of automotive SoCs

被引:0
|
作者
Pugh, Richard [1 ]
机构
[1] a Siemens business, Germany
来源
Electronics World | 2020年 / 126卷 / 2003期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
The advent of electrified and autonomous vehicles has enormous implications for the semiconductor market. The electrification of vehicles, which addresses the need for better fuel economy and lower levels of noxious emissions, drives increased silicon content.
引用
收藏
页码:46 / 48
相关论文
共 50 条
  • [1] Pre-silicon verification of multiprocessor SoCs: the case for on-the-fly coherence/consistency checking
    Henschel, Olav P.
    dos Santos, Luiz C. V.
    [J]. 2013 IEEE 20TH INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS, AND SYSTEMS (ICECS), 2013, : 843 - 846
  • [2] Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study
    Singh, Eshan
    Devarajegowda, Keerthikumara
    Simon, Sebastian
    Schnieder, Ralf
    Ganesan, Karthik
    Fadiheh, Mohammad
    Stoffel, Dominik
    Kunz, Wolfgang
    Barrett, Clark
    Ecker, Wolfgang
    Mitra, Subhasish
    [J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1000 - 1005
  • [3] Bridging Pre-Silicon Verification and Post-Silicon Validation
    Nahir, Amir
    Ziv, Avi
    Galivanche, Rajesh
    Hu, Alan
    Abramovici, Miron
    Bentley, Bob
    Bertacco, Valeria
    Camilleri, Albert
    Foster, Harry
    Kapoor, Shakti
    [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 94 - 95
  • [4] Pre-Silicon FEC Decoding Verification on SoC FPGAs
    Fernandez, Victor
    Abad, Carlos
    Alvarez, Angel
    Ugarte, Inigo
    Sanchez, Pablo
    [J]. IEEE COMMUNICATIONS LETTERS, 2021, 25 (01) : 127 - 131
  • [5] Pre-Silicon Security Verification and Validation: A Formal Perspective
    Guo, Xiaolong
    Dutta, Raj Gautam
    Jin, Yier
    Farahmandi, Farimah
    Mishra, Prabhat
    [J]. 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [6] Evolutionary Computation in Pre-Silicon Verification of Complex Microprocessors
    Aktan, Burcin
    Greenwood, Ganison W.
    [J]. 2009 IEEE WORKSHOP ON EVOLVABLE AND ADAPTIVE HARDWARE: (WEAH), 2009, : 25 - +
  • [7] Pre-Silicon DFT verification on SOC slim model
    Rengaraj, Archana
    Mohandoss, Pratheema
    [J]. 2018 19TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR AND SOC TEST, SECURITY AND VERIFICATION (MTV), 2018, : 76 - 78
  • [8] A Unified Methodology for Pre-Silicon Verification and Post-Silicon Validation
    Adir, Allon
    Copty, Shady
    Landa, Shimon
    Nahir, Amir
    Shurek, Gil
    Ziv, Avi
    Meissner, Charles
    Schumann, John
    [J]. 2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1590 - 1595
  • [9] Hardware Virtualization for Pre-Silicon Software Development in Automotive Electronics
    Schirrmeister, Frank
    Thoen, Filip
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 367 - 375
  • [10] Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security
    Fern, Nicole
    Cheng, Kwang-Ting
    [J]. 2018 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2018,