Author:
Augé Ivan,Bawa Rajesh K.,Guerrier Pierre,Greiner Alain,Jacomme Ludovic,Pétrot Frédéric
Reference22 articles.
1. Augé I. and Brunel J.Y. (1995) Lossless Data Compression for Embedded Applications in Networking, in Proceedings of the 21 th EUROMICRO Conference, Como.
2. Bergamaschi R.A. and Kuehlman A. (1993). A System for Production Use of High-Level Synthesis, IEEE Transactions on Very Large Scale Integration (VLSI) Systems,1(3):233-243.
3. Biesenack J. and Koster M. et al. (1993) The Siemens High-Level Synthesys System CALLAS, in IEEE Transactions on Very Large Scale Integration (VLSI) Systems,1(3):244-253.
4. Brunel J.Y. (1996) Synthèse de circuits intégrés, PhD thesis (in French), Pierre and Marie Curie University, Paris.
5. Bawa R.K. and Encrenaz E.. (1996) Formal Verification of VHDL Descriptions by Symbolic State Space Exploration applied to Finite State Machines. in Proceedings of VIIDL International Users Forum, VIUF Spring'
96, 115-124, Santa Clara.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献