Linking codesign and verification by mean of E-LOTOS FDT

This paper presents an approach for linking design and verification environments in the context of hardware/software codesign of complex systems, based on refinement steps of the system implementation. We describe the advantage in the integration of verification in the refinement process for detecti...

Full description

Saved in:
Bibliographic Details
Main Authors: Wodey, P., Baray, F.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Ear
Hardware
Joining processes
Kernel
Real time systems
Software performance
Software prototyping
Software tools
Virtual prototyping
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents an approach for linking design and verification environments in the context of hardware/software codesign of complex systems, based on refinement steps of the system implementation. We describe the advantage in the integration of verification in the refinement process for detecting easily and early design errors. Generally, design tools are based on a specific internal representation of the system, and classical approach for linking design and verification consists in translating this representation into a verification dedicated representation. The originality of the proposed approach in this paper consists in applying in parallel the refinement transformations on two specific representations of the system: one dedicated to the implementation and synthesis and the other dedicated to verification. A simple example shows the advantages of using such an approach when considering model checking verification techniques: the size of the model is significantly decreased. In this study, we consider the COSMOS Codesign environment, the OPEN/CAESAR verification toolbox and the E-LOTOS language as verification dedicated representation of the system.
ISSN:1089-6503
2376-9505
DOI:10.1109/EURMIC.1999.794515