Interactive presentation abstract: Assertion-based verification in embedded-software design

Author

Di Guglielmo, Giuseppe ; Di Guglielmo, Luigi ; Fummi, Franco ; Pravadelli, Graziano

Author_Institution

Dept. of Comput. Sci., Univ. of Verona, Verona, Italy

fYear

2011

fDate

9-11 Nov. 2011

Firstpage

80

Lastpage

80

Abstract

In the hardware design, assertion-based verification (ABV) affirmed as an effective methodology for functional verification, i.e., design specification conformance. However, up to now, there were only limited studies concerning the application of simulation-based ABV to embedded-software design and verification flow. We propose an analysis aiming to bridge such a gap. In particular, we illustrate how ABV can integrate and improve the various stages of the verification flow. Moreover, the analysis leads us to develop a comprehensive and practical dynamic ABV environment for micro-controller embedded-software.

Keywords

embedded systems; formal specification; microcontrollers; program verification; assertion-based verification; design specification conformance; embedded-software design; embedded-software verification flow; functional verification; hardware design; microcontroller embedded-software; simulation-based ABV; Companies; Embedded software; Emulation; Hardware; IEEE standards; In vitro; Monitoring;

fLanguage

English

Publisher

ieee

Conference_Titel

High Level Design Validation and Test Workshop (HLDVT), 2011 IEEE International

Conference_Location

Napa Valley, CA

ISSN

1552-6674

Print_ISBN

978-1-4577-1744-4

Type

conf

DOI

10.1109/HLDVT.2011.6114169

Filename

6114169