Temporal feasibility verification of specification PEARL designs | IEEE Conference Publication | IEEE Xplore

Temporal feasibility verification of specification PEARL designs


Abstract:

An approach to hardware/software codesign and verification is presented. Hardware and software are modeled with the specification PEARL language, which has its origins in...Show More

Abstract:

An approach to hardware/software codesign and verification is presented. Hardware and software are modeled with the specification PEARL language, which has its origins in standard multiprocessor PEARL. Its usefulness has been enhanced for hierarchical and asymmetrical multiprocessor system modeling, and by additional parameters for schedulability analysis. It is meant to be a super-layer for programs, based on the PEARL program model. For detailed program modeling timed state transition diagrams are used. The model of a codesigned system is checked for feasibility with cosimulation. The resulting information should be used for changes in the current design. After that the program model can be enhanced to its full functionality for schedulability analysis to provide the designer with more precise timing information, which may be used for fine-tuning the system design. By utilising this methodology the possibility of implementing a temporally infeasible system should be minimised.
Date of Conference: 14-14 May 2004
Date Added to IEEE Xplore: 24 May 2004
Print ISBN:0-7695-2124-X
Conference Location: Vienna, Austria

References

References is not available for this document.