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 条

[21] Special issue on VLSI design methodologies for Digital Signal Processing systems - Introduction
Bayoumi, MA
JOURNAL OF VLSI SIGNAL PROCESSING, 1995, 11 (1-2): : 5 - 6
[22] Functional and Nonfunctional Design Verification for Embedded Software Systems
Ray, Arnab
Ackermann, Christopher
Cleaveland, Rance
Shelton, Charles
Martin, Chris
ADVANCES IN COMPUTERS, VOL 83, 2011, 83 : 277 - 321
[23] Formal Verification for Embedded Systems Design Based on MDE
Moreira do Nascimento, Francisco Assis
da Silva Oliveira, Marcio Ferreira
Wagner, Flavio Rech
ANALYSIS, ARCHITECTURES AND MODELLING OF EMBEDDED SYSTEMS, 2009, 310 : 159 - +
[24] Verification framework for UML - Based design of embedded systems
Kardos, M
Zhao, YH
DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 21 - 30
[25] Verification approach of metropolis design framework for embedded systems
Chen, X
Hsieh, H
Balarin, F
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2006, 34 (01) : 3 - 27
[26] VLSI systems for embedded video
Wolf, W
Ozer, B
Lv, T
ISVLSI 2000: IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI - NEW PARADIGMS FOR VLSI SYSTEMS DESIGN, 2002, : 3 - 6
[27] Verification Approach of Metropolis Design Framework for Embedded Systems
Xi Chen
Harry Hsieh
Felice Balarin
International Journal of Parallel Programming, 2006, 34 : 3 - 27
[28] Teaching complete embedded systems design process with graphical system design methodologies
Sharad, Shekhar
Muecke, Karl
2007 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLS 1 AND 2, 2007, : 747 - 752
[29] HIERARCHICAL DESIGN METHODOLOGIES AND TOOLS FOR VLSI CHIPS
NIESSEN, C
PROCEEDINGS OF THE IEEE, 1983, 71 (01) : 66 - 75
[30] Hybrid systems and the design of embedded controllers for automotive engine management
Balluchi, A
Benvenuti, L
Di Benedetto, M
Ferrari, A
Pinello, C
Sangiovanni-Vincentelli, A
PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 2656 - 2661

← 1 2 3 4 5 →