VLSI design and verification methodologies for automotive embedded systems

被引：0
|
作者：
Fanucci, L [1 ]
Giambastiani, A [1 ]
Rosadini, C [1 ]
机构：
[1] CNR, IEIIT, Pisa, Italy
来源：
SCS 2003: INTERNATIONAL SYMPOSIUM ON SIGNALS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS | 2003年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents the verification process performed during the development of an automotive platform suited to interface a generic sensor. The platform aims to reduce the cost of the analog circuitry needed to interface the sensor, by massive usage of digital electronic, and by addressing a wide class of automotive applications based on sensor signal elaboration. Particularly, all the verification steps from identification of the right level of abstraction and hierarchy, platform hardware-software co-simulation and prototype hardware emulation are described.
引用
收藏
页码：261 / 264
页数：4
相关论文
共 50 条
  • [1] Embedded systems design and verification: Reuse oriented prototyping methodologies
    Raimbault, S
    Sassatelli, G
    Cambon, G
    Robert, M
    Pillement, S
    Torres, L
    [J]. VLSI: SYSTEMS ON A CHIP, 2000, 34 : 407 - 414
  • [2] Functional Design and Verification of Automotive Embedded Software: An Integrated System Verification Flow
    Shedeed, Mohamed
    Bahig, Ghada
    Elkharashi, M. Watheq
    Chen, Michael
    [J]. 2013 SAUDI INTERNATIONAL ELECTRONICS, COMMUNICATIONS AND PHOTONICS CONFERENCE (SIECPC), 2013,
  • [3] Mechatronic systems: Automotive applications and modem design methodologies
    Dieterle, W
    [J]. ANNUAL REVIEWS IN CONTROL, 2005, 29 (02) : 273 - 277
  • [4] Methodologies and tools for the design space exploration of embedded systems
    Vega-Rodriguez, Miguel A.
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (01) : 53 - 54
  • [5] Multilevel testing for design verification of embedded systems
    Schulz, S
    Rozenblit, JW
    Buchenrieder, KJ
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (02): : 60 - 69
  • [6] Formal verification of automotive embedded software
    Todorov, Vassil
    Boulanger, Frederic
    Taha, Safouan
    [J]. 2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 84 - 87
  • [7] METHODOLOGIES FOR FULL CUSTOM VLSI DESIGN
    DANNEELS, J
    MEINCK, M
    [J]. ELECTRICAL COMMUNICATION, 1984, 58 (04): : 389 - &
  • [8] Hardware/software design considerations for automotive embedded systems
    Salewski, Falk
    Kowalewski, Stefan
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2008, 4 (03) : 156 - 163
  • [9] Special Issue on International Conference on VLSI Design and Embedded Systems
    Basu, Kanad
    Chen, Mingsong
    Parekhji, Rubin
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2019, 35 (05): : 579 - 580
  • [10] Guest Editorial: Special Issue on VLSI Design and Embedded Systems
    Preeti Ranjan Panda
    Rajendran Panda
    [J]. International Journal of Parallel Programming, 2010, 38 : 183 - 184
12345