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 :
بازگشت