A normal form reduction strategy for hardware/software partitioning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1313, Issue , 1997, Pages 624-643

  Silva, Leila ^a   Sampaio, Augusto ^a   Barros, Edna ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; RECONFIGURABLE HARDWARE; SEMANTICS;

ALGEBRAIC SEMANTIC; HARDWARE/SOFTWARE PARTITIONING; NORMAL FORM; PARALLEL COMPOSITION; PROGRAM TRANSFORMATIONS; REDUCTION STRATEGY; SET OF RULES;

FORMAL METHODS;

EID: 21944454793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_33     Document Type: Conference Paper

References (20)

1. A. Balsoni,W. Fornaccari, D. Sciuto. Partitioning and Exploration Strategies in the TOSCA Co-Design Flow. In Proceedings of Fourth International Workshop on Hardware/Software Codesign, (1996) 62-69, IEEE Press.
2. E. Barros. Hardware/Software Partitioning using UNITY. PhD thesis, Universit£t Tfibingen, 1993.
3. E. Barros and A. Sampaio. Towards Probably Correct Hardware/Software Partitioning Using Occam. In Proceedings o/ the Third IT, ternational Workshop on Hardware/Software Codesign Codes/CASHE94, (1994) 210-217, IEEE Press.
4. E. N. S. Barros, M. E. de Lima and A. Sampaio. From Hardware/Software Partitioning to Layout Synthesis: A Transformational Approach. In Proceedings of VIII Brazilian Symposium on Integrated Circuits, Gramado - RS, (1994) 89-100.
5. C. Carreras, J. C. López, M. L. López, C. Delgado-Kloos, N. Martinéz, L. Sánchez. A Co-Design Methodology Based on Formal Specification and High-level Estimation. In Proceedings of Fourth International Workshop on H W/S W Codesign, (1996) 28- 35, IEEE Press.
6. T. Cheung, G. Hellestrand and P. Kanthamanon. A Multi-level Transformation Approach to HW/SW Co-Design: A Case Study. In Proceedings of Fourth later. national Workshop on HW/SW Codesign, (1996) 10-17, IEEE Press.
7. R. Ernst and J. ttenkel. Hardware-Software Codesign of Embedded Controllers Based on Hardware Extraction. In Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.
8. J. Goguen et al. Introducing OBJ. Technical report, SRI-CSL-92-03, SRI International, 1993.
9. M. Goldsmith. The oxford oeeara transformation system. Technical report, Oxford University Computing Laboratory, January 1988.
10. R. Gupta and G. De Micheli. System-level Synthesis Using Re-programmable Components. In Proceedings of EDAC, (1992) 2-7, IEEE Press.
11. C. A. R. Hoare and I. Page. Hardware and Software: The Closing Gap. In Transputer Communications, 02, (1994) 69-90.
12. T. B. Ismail, K. O'Brien and A. Jerraya. Interactive System Level Partitioning with PARTIF. In Proceedings of the European Conference on Design Automation, February 1994, IEEE Press.
13. Jifeng He, I. Page, and J. Bowen. A Provable Hardware Implementation of occam. In Correct Hardware Design and Verification Methods (Advanced Research Working Conference, CHARME' 93), Lecture Notes in Computer Science, Springer Verlag, 683, (1993) 214-225.
14. P. V. Knudsen and J. Madsen. PACE: A Dynamic Progrmming Algorithm for Hardware/Software Partitioning. In Proceedings of Fourth International Workshop on HW/SW Codesign, (1996) 85-92.
15. L. Paulson. ML for the working programmer. Cambridge University Press, 1991.
16. D. Pountain and D. May. A Tutorial Introduction to OCCAM Programming. Inmos BSP Professional Books, (1987).
17. A. Roscoe and C. A. R. Hoare. The laws of oeeam programming. In Theoretical Computer Science, 60, (1988) 177-229.
18. A. Sampaio. An Algebraic Approach to Compiler Design. Volume 4 of Algebraic Methodology and Software Technology (AMAST) Series in Computing, World Scientific, 1997.
19. L. Silva, A. Sampaio and E. Barros. A Normal Form Approach to Hardware/ Software Partitioning Using Occam. Technical Report, RT-DI/UFPE 001/97, Federal University of Pernambuco, Recife, Brazil.
20. F. Vahid, J. Gong and D. D. Gajski. A Binary-constraint Search Algorithm for Minimizing Hardware During Hardware/Software Partitioning. In Proceedings of European Design Automation Conference, (1994) 214-219.