Author:
Thabet Farhat,Coussy Philippe,Heller Dominique,Martin Eric
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Modeling and Simulation,Information Systems,Signal Processing,Theoretical Computer Science,Control and Systems Engineering
Reference21 articles.
1. Coussy, P., Chavet, C., et al. (2008). GAUT: A high-level synthesis tool for DSP applications. In High-level synthesis: From algorithm to digital circuit. Springer.
2. Rowson, A., & Sangiovanni-Vincentelli, A. (1997). Interface-based design. In Proc. of the 34th Design Automation Conf. (DAC-97), June.
3. Huet, S., Casseau, E., & Pasquier, O. (2006). A computation core for communication refinement of digital signal processing algorithms. Digital System Design Architectures, Methods and Tools 2006, EUROMICRO Conference on 2006, pp. 240–250.
4. Cai, L., & Gajski, D. (2003). Transaction level modeling: An overview. In CODES+ISSS'03, Proc. of the 1st IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, October 1–3.
5. Coussy, P., Casseau, E., Bomel, P., Baganne, A., & Martin, E. (2006). A formal method for hardware IP design and integration under I/O and timing constraints. ACM Transactions on Embedded Computing System (TECS), 5(1), 29–53.