Software/Hardware Codesign for Validation and Verification
暂无分享,去创建一个
Embedded computer applications are requiring more performance, higher reliability, and lower development and maintenance costs. These requirements are being met by fault-tolerant, distributed parallel processors with tightly integrated software and hardware. Software/hardware codesign provides a mechanism for exploring the myriad of alternative system architectures during the early stages of the development of a system, and can be used during the later stages of software and hardware design to make sure that the detailed design decisions do not cause the software and hadware designs to diverge. This paper discusses software/hardware codesign, presents an approach to codesign and a tool set that supports the approach, and discusses an example of using codesign methods and tools for validation and verification.
[1] R. Karp,et al. Properties of a model for parallel computations: determinacy , 1966 .
[2] F G Gray,et al. A Model of the ADA Avionics Real-Time System: An Example of the Benefits of the Hardware/Software Codesign Approach in Development of Real-Time Systems , 1992 .
[3] G. A. Frank,et al. An Architecture Design and Assessment System for Software/Hardware Codesign , 1985, DAC 1985.