Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems
DOI: 10.1109/ecbs.1996.494563
|View full text |Cite
|
Sign up to set email alerts
|

A formal approach to HW/SW co-design: the INSYDE project

Abstract: This paper presents a formal approach to the codesign of hybrid systems based on object-oriented analysis and design, and the formal description languages VHDL and SDL. This methodology covers the whole development process from requirements capture, through design and implementation, to validation. The paper also presents some of our experiences todate with the methodology.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 1 publication
0
0
0
Order By: Relevance