TY - GEN
T1 - High-level synthesis of multi-process behavioral descriptions
AU - Wang, Weidong
AU - Raghunathan, Anand
AU - Jha, Niraj K.
AU - Dey, Sujit
N1 - Publisher Copyright:
© 2003 IEEE.
PY - 2003
Y1 - 2003
N2 - This paper presents a new high-level synthesis methodology to generate optimized implementations for multi-process behavioral descriptions. The concurrent communicating processes specification paradigm is widely used in digital circuit and system design, and is employed in all popular hardware description languages. It has been shown that inter-process communication and synchronization can result in complex timing inter-dependencies, which significantly affect the performance of a multi-process system. In this paper, we demonstrate that state-of-the-art high-level synthesis tools can generate significantly sub-optimal implementations for behaviors that contain concurrent communicating processes. We present an analysis of how inter-process communication impacts high-level synthesis steps, and describe a new methodology to adapt existing high-level synthesis tools to optimize multi-process descriptions.
AB - This paper presents a new high-level synthesis methodology to generate optimized implementations for multi-process behavioral descriptions. The concurrent communicating processes specification paradigm is widely used in digital circuit and system design, and is employed in all popular hardware description languages. It has been shown that inter-process communication and synchronization can result in complex timing inter-dependencies, which significantly affect the performance of a multi-process system. In this paper, we demonstrate that state-of-the-art high-level synthesis tools can generate significantly sub-optimal implementations for behaviors that contain concurrent communicating processes. We present an analysis of how inter-process communication impacts high-level synthesis steps, and describe a new methodology to adapt existing high-level synthesis tools to optimize multi-process descriptions.
KW - Contracts
KW - Digital circuits
KW - Hardware design languages
KW - High level synthesis
KW - National electric code
KW - Optimization methods
KW - Partitioning algorithms
KW - Performance analysis
KW - Resource management
KW - Timing
UR - http://www.scopus.com/inward/record.url?scp=8744298018&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=8744298018&partnerID=8YFLogxK
U2 - 10.1109/ICVD.2003.1183178
DO - 10.1109/ICVD.2003.1183178
M3 - Conference contribution
AN - SCOPUS:8744298018
T3 - Proceedings of the IEEE International Conference on VLSI Design
SP - 467
EP - 473
BT - Proceedings - 16th International Conference on VLSI Design, VLSI 2003 - concurrently with the 2nd International Conference on Embedded Systems Design
PB - IEEE Computer Society
T2 - 16th International Conference on VLSI Design, VLSI 2003 - concurrently with the 2nd International Conference on Embedded Systems Design
Y2 - 4 January 2003 through 8 January 2003
ER -