A Compositional Framework for Hardware/Software Co-Design |
| |
| Authors: | A Cau R Hale J Dimitrov H Zedan B Moszkowski M Manjunathaiah M Spivey |
| |
| Institution: | (1) Software Technology Research Laboratory, SERCentre, De Montfort University, England;(2) Software Technology Research Laboratory, SERCentre, De Montfort University, England;(3) Software Technology Research Laboratory, SERCentre, De Montfort University, England;(4) Software Technology Research Laboratory, SERCentre, De Montfort University, England;(5) Software Technology Research Laboratory, SERCentre, De Montfort University, England;(6) Programming Research Group, Computing Laboratory, Oxford University, England;(7) Programming Research Group, Computing Laboratory, Oxford University, England |
| |
| Abstract: | We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory. |
| |
| Keywords: | Compositionality executable specification HDL HW/SW co-design refinement |
| 本文献已被 SpringerLink 等数据库收录！ |
|
