DocumentCode
3446333
Title
A framework for developing hardware-software systems
Author
Luk, Wayne ; Cheung, Peter
Author_Institution
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
fYear
1995
fDate
34989
Firstpage
42522
Lastpage
42526
Abstract
Electronic systems are increasingly implemented in a variety of hardware and software technologies. Designers of such systems face two challenges: to meet specified performance targets at the lowest cost, and to complete their designs in the shortest time. This paper outlines a framework currently under development that should help designers to overcome these challenges. The framework is to support flexible hardware and software partitions, so that designs can be customised to changing performance requirements and resource availability. The framework should also facilitate rapid design exploration, adaptation and evaluation, as well as systematic design refinement, validation and documentation
Keywords
formal verification; logic design; system documentation; systems analysis; design validation; documentation; electronic systems; flexible hardware; framework; hardware-software systems development; performance targets; software partitions; systematic design refinement;
fLanguage
English
Publisher
iet
Conference_Titel
Verification of Hardware Software Codesign, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19951043
Filename
494692
Link To Document