Towards provably correct hardware/software partitioning using OCCAM
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- System-level synthesis using re-programmable componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Normal form approach to compiler designActa Informatica, 1993
- The laws of OCCAM programmingTheoretical Computer Science, 1988