Title :
Verification or validation of hardware-software codesigns?
Author :
Nicholls, Richard G. ; Ainscough, John
Author_Institution :
Dept. of Electr. Eng., Manchester Metropolitan Univ., UK
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;
Conference_Titel :
Verification of Hardware Software Codesign, IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19951039
