DocumentCode
3446229
Title
Verification or validation of hardware-software codesigns?
Author
Nicholls, Richard G. ; Ainscough, John
Author_Institution
Dept. of Electr. Eng., Manchester Metropolitan Univ., UK
fYear
1995
fDate
34989
Firstpage
42401
Lastpage
42404
Abstract
Hardware-software codesign is particularly well suited for real-time embedded systems. It is therefore imperative that the design implements the specification correctly. In this paper the method of validation or verifying designs is discussed, and tools are presented that can be used to provide a framework for verifying codesigned systems. Also discussed is how these tools can be integrated for such a framework
Keywords
development systems; logic design; real-time systems; systems analysis; framework; hardware-software codesigns validation; hardware-software codesigns verification; real-time embedded systems; specification;
fLanguage
English
Publisher
iet
Conference_Titel
Verification of Hardware Software Codesign, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19951039
Filename
494688
Link To Document