Eliminating false loops caused by sharing in control path
Autor: | Alan Su, Yu-Chin Hsu, Mike Tien-Chien Lee, Ta-Yung Liu |
---|---|
Rok vydání: | 1998 |
Předmět: | |
Zdroj: | ACM Transactions on Design Automation of Electronic Systems. 3:487-495 |
ISSN: | 1557-7309 1084-4309 |
DOI: | 10.1145/293625.293635 |
Popis: | In high-level synthesis, resource sharing may result in a circuit containing false loops that create great difficulty in timing validation during the design sign-off phase. It is hence desirable to avoid generating any false loops in a synthesized circuit. Previous work [Stok 1992; Huang et al. 1995] considered mainly data path sharing for false loop elimination. However, for a complete circuit with both data path and control path, false loops can be created due to control logic sharing. In this article, we present a novel approach to detect and eleminate the false loops caused by control logic sharing. An effective filter is devised to reduce the computational complexity of false loop detection, which is based on checking the level numbers that are propagated from data path operators to imputs and outputs of the control path. Only the input/output pairs of the control path identified by the filter are further investigated by traversing into the data path for false loop detection. A removal algorithm is then applied to eliminate the detected false loops, followed by logic minimization to further optimize the circuit. Experimental results show that for the nine example circuits we tested, the final designs after false loop removal and logic minimization give only slightly larger area than the original ones that contain false loops. |
Databáze: | OpenAIRE |
Externí odkaz: |