Supervision : Alain GREINER

Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse

1997-1999 Publications

• 1999
  • L. Jacomme : “Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse”, thesis, defence 10/29/1999, supervision Greiner, Alain (1999)
  • L. Jacomme, F. Pétrot, Rajesh K. Bawa : “Formal Analysis of Single Wait VHDL processes for Semantic Based Synthesis”, 12^th IEEE International Conference on VLSI Design, Goa, India, pp. 151-156, (IEEE) (1999)
• 1998
  • L. Jacomme, F. Pétrot, Rajesh K. Bawa : “Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis”, IEEE/EUROMICRO'98 International Conference on Digital Sytems, Vasteras, Sweden, pp. 317-320, (IEEE) (1998)
• 1997
  • J. Dunoyer, F. Pétrot, L. Jacomme : “Limitations of Logarithmic Encodings for Low Power Finite State Machines”, 4^th IEEE International Conference on Electronics Circuits and Systems (ICECS'97), Cairo, Egypt, pp. 522-528 (1997)
  • J. Dunoyer, F. Pétrot, L. Jacomme : “Stratégie de codage des automates pour les applications basse-consommation : expérimentations et interprétation”, Journées Faible Tension Faible Consommation, Paris, France (1997)
  • I. Augé, Rajesh K. Bawa, P. Guerrier, A. Greiner, L. Jacomme, F. Pétrot : “User Guided High Level Synthesis”, International Conference on Very Large Scale Integration (VLSI'97), IFIP - The International Federation for Information Processing, Gramado, Brazil, pp. 464-475, (Springer) (1997)
  • J. Dunoyer, F. Pétrot, L. Jacomme : “Intrinsic Limitations of Logarithmic Encodings for Low Power Finite State Machines”, Mixed Design of VLSI Circuits Conference, Poznan, Poland, pp. 613-618 (1997)
  • L. Jacomme, Rajesh K. Bawa : “Synthèse de descriptions comportementales séquentielles en conformité avec la sémantique VHDL”, 1^er Colloque CAO de Circuits Intégrés et Systèmes, Grenoble, France, pp. 303-306 (1997)