1. Sizing synchronization queues: A case study in higher level synthesis;Amon,1991
2. A method for partitioning UNITY language in hardware and software;Barros,1994
3. Embedded Real-Time Systems: A Specification and Design Methodology;Calvez,1993
4. Hardware-software codesign of embedded systems;Chiodo;IEEE Micro,1994
5. Synthesis of the hardware/software interface in microcontroller-based systems;Chou,1992